Commit Graph

2 Commits

Author SHA1 Message Date
b6b4c01f0e Rename app to Lemma 2024-12-19 23:59:27 +01:00
6aa3fd6c65 Add script for generating single file documentation 2024-11-28 22:05:27 +01:00