Tue, 19 Aug 2014 09:34:27 +0200 | blanchet | documented slight incompatibility in NEWS | changeset | files |
Mon, 18 Aug 2014 19:18:08 +0200 | blanchet | removed junk | changeset | files |
Mon, 18 Aug 2014 19:16:51 +0200 | blanchet | updated docs | changeset | files |