| Thu, 23 Aug 2012 13:31:00 +0200 | wenzelm | expand all files uniformly; | changeset | files |
| Thu, 23 Aug 2012 13:26:27 +0200 | wenzelm | added build option -l (list files); | changeset | files |
| Thu, 23 Aug 2012 13:03:29 +0200 | wenzelm | prefer classic take_prefix/take_suffix over chop_while (cf. 0659e84bdc5f); | changeset | files |
| Thu, 23 Aug 2012 12:55:23 +0200 | wenzelm | more basic file dependencies -- no load command here; | changeset | files |