teaching-webterm/minica
Glenn Y. Rolland 4c5e38cf7d Add ignore file for minica 2022-05-31 01:58:37 +02:00
..
.empty Add minica dir 2022-05-31 01:57:27 +02:00
.gitignore Add ignore file for minica 2022-05-31 01:58:37 +02:00