Wed, 21 Aug 2013 09:25:40 +0200 | blanchet | take out dangerous feature, now that all updates are permanent | changeset | files |
Wed, 21 Aug 2013 09:25:40 +0200 | blanchet | use new MaSh command-line arguments | changeset | files |
Wed, 21 Aug 2013 09:25:40 +0200 | blanchet | shutdown MaSh server | changeset | files |