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.

SJost 9d71dd7d9a Fixes #213		2018-10-31 12:26:47 +01:00
..
Migration	Fixes #213	2018-10-31 12:26:47 +01:00
Types	Cleanup language extensions	2018-10-28 19:11:40 +01:00
Migration.hs	Merge branch 'master' of gitlab.cip.ifi.lmu.de:jost/UniWorX into sheet-type	2018-10-31 09:45:32 +01:00
Types.hs	Fixes #213	2018-10-31 12:26:47 +01:00