This repository has been archived on 2026-07-27. You can view files and clone it, but cannot push or open issues or pull requests.

Gregor Kleen 264ad01d8f Introduce database versioning ... Fixes #120		2018-08-13 14:13:38 +02:00
..
Version.hs	Introduce database versioning	2018-08-13 14:13:38 +02:00