Commit Graph

3 Commits

Author SHA1 Message Date
b6b4c01f0e Rename app to Lemma 2024-12-19 23:59:27 +01:00
8a62c9e306 Regenerate docs 2024-12-08 17:47:44 +01:00
08e76671d0 Rework app setup 2024-12-02 21:23:47 +01:00