Commit Graph

3 Commits

Author SHA1 Message Date
c1795b2acc lean flag 2021-04-28 10:54:07 +02:00
Felix
8cf8a77558 Fix typos in docs 2021-04-23 17:45:02 +02:00
da6d9c53aa docs 2021-04-12 16:41:46 +02:00