Mercurial > hg > GearsTemplate
diff .hgignore @ 540:0a723e418b2a
add some more directives in agda
author | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
---|---|
date | Thu, 04 Jan 2018 23:43:18 +0900 |
parents | 9f8a87389b68 |
children | d167e24e5493 |
author | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
---|---|
date | Thu, 04 Jan 2018 23:43:18 +0900 |
parents | 9f8a87389b68 |
children | d167e24e5493 |