Joris van der Hoeven cea0e5d1dc Update database from disk in case of changes		2015-04-15 08:08:24 +00:00
..
database-base.en.tm	Update database from disk in case of changes	2015-04-15 08:08:24 +00:00
database-format.en.tm	Tweaking	2015-04-07 19:33:34 +00:00
database-index.en.tm	Update database from disk in case of changes	2015-04-15 08:08:24 +00:00
database-permissions.en.tm	Document db-allow?	2015-04-07 19:48:24 +00:00
database-version.en.tm	Document the routines for version management	2015-04-07 20:07:42 +00:00
scheme-database.en.tm	Tweaking	2015-04-07 19:33:34 +00:00