Mercurial > hg > Members > anatofuz > agda-slf

view .hgignore @ 0:99728ee0d697

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
day 1...
author anatofuz <anatofuz@cr.ie.u-ryukyu.ac.jp>
date Thu, 20 Feb 2020 19:52:51 +0900
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