Commit graph

4 commits

Author SHA1 Message Date
44366f6d2b
add times 2022-10-21 16:16:25 +02:00
5940ebd3d0
prefer newer 2022-10-21 16:14:14 +02:00
f179ae0dfb
add cmi files 2022-10-21 15:38:21 +02:00
b01fa44e60
add unison 2022-10-18 17:41:32 +02:00