Mercurial > hg > Members > anatofuz > agda-slf

view .hgignore @ 1:fa30a385957d default tip

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
...
author anatofuz <anatofuz@cr.ie.u-ryukyu.ac.jp>
date Thu, 27 Feb 2020 19:23:07 +0900
parents 99728ee0d697
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