Mercurial > hg > Members > anatofuz > agda-slf
view .hgignore @ 0:99728ee0d697
day 1...
author | anatofuz <anatofuz@cr.ie.u-ryukyu.ac.jp> |
---|---|
date | Thu, 20 Feb 2020 19:52:51 +0900 (2020-02-20) |
parents | |
children |
line wrap: on
line source
syntax:glob # Created by https://www.gitignore.io/api/agda # Edit at https://www.gitignore.io/?templates=agda ### Agda ### *.agdai MAlonzo/** # End of https://www.gitignore.io/api/agda