comparison dwtx/jface/text/BadPartitioningException.d @ 161:f8d52b926852

...
author Frank Benoit <benoit@tionex.de>
date Wed, 27 Aug 2008 14:49:30 +0200
parents 000f9136b8f7
children
comparison
equal deleted inserted replaced
160:3678e4f1a766 161:f8d52b926852
179 179
180 /** 180 /**
181 * Creates a new bad partitioning exception. 181 * Creates a new bad partitioning exception.
182 */ 182 */
183 public this() { 183 public this() {
184 super("");
184 } 185 }
185 186
186 /** 187 /**
187 * Creates a new bad partitioning exception. 188 * Creates a new bad partitioning exception.
188 * 189 *