lib/Tools/mkdir
Mon, 18 Sep 2000 17:56:44 +0200 wenzelm best-style made default;
Fri, 01 Sep 2000 17:50:36 +0200 wenzelm GPLed;
Sat, 19 Aug 2000 12:42:52 +0200 wenzelm %\urlstyle{rm}
Tue, 04 Jul 2000 01:10:53 +0200 wenzelm fixed usage;
Mon, 10 Apr 2000 23:38:02 +0200 wenzelm handle dir prefix;
Sun, 26 Mar 2000 20:08:03 +0200 wenzelm tuned targets;
Fri, 17 Mar 2000 17:10:37 +0100 wenzelm \isamarkupheader: \section;
Thu, 16 Mar 2000 00:32:55 +0100 wenzelm do not change parindent/parskip;
Wed, 15 Mar 2000 18:50:48 +0100 wenzelm ## -D document;
Thu, 24 Feb 2000 15:34:49 +0100 wenzelm tuned generated TeX code;
Mon, 14 Feb 2000 20:49:08 +0100 wenzelm basic source deps;
Tue, 08 Feb 2000 20:14:58 +0100 wenzelm rename -p to -P;
Sat, 05 Feb 2000 17:06:27 +0100 wenzelm tuned;
Sat, 05 Feb 2000 16:59:50 +0100 wenzelm -I option;
Fri, 04 Feb 2000 21:53:36 +0100 wenzelm misc improvements;
Fri, 28 Jan 2000 15:26:51 +0100 wenzelm -p option;
Fri, 28 Jan 2000 14:42:46 +0100 wenzelm mkdir: prepare logic session directory;
less more (0) tip