Mercurial > hg > Gears > GearsAgda
diff .hgignore @ 571:1eccf1f18a59
add more detail
author | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
---|---|
date | Fri, 27 Apr 2018 19:19:40 +0900 |
parents | 9f8a87389b68 |
children |
author | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
---|---|
date | Fri, 27 Apr 2018 19:19:40 +0900 |
parents | 9f8a87389b68 |
children |