1 Commits (caa9a3508e36d3166c0e4cd9e8c068c069a56f9a)

Author	SHA1	Message	Date
anemofilia	1cea301441	feat: add a idris manifest for when I get time to hack with it	2023-09-30 13:33:38 -03:00