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

Gregor Kleen 239c96d907 Timezones, date formatting & minor cleanup		2018-07-09 23:07:26 +02:00
..
Common.hs	Minor. Puny attempts to resuse corrections table in several ways.	2018-06-22 18:31:47 +02:00
DateTime.hs	Timezones, date formatting & minor cleanup	2018-07-09 23:07:26 +02:00
DB.hs	Favourites updated immediately now; Links for Lecturers are shown	2018-06-27 13:15:17 +02:00
Lens.hs	Timezones, date formatting & minor cleanup	2018-07-09 23:07:26 +02:00