Mercurial > hg > GearsTemplate
comparison .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 |
comparison
equal
deleted
inserted
replaced
539:c9f90f573efe | 540:0a723e418b2a |
---|