Mercurial > hg > Papers > 2018 > nozomi-master
comparison .hgignore @ 54:ef9730f3db8d
Writing agda description ......
| author | atton <atton@cr.ie.u-ryukyu.ac.jp> |
|---|---|
| date | Tue, 31 Jan 2017 17:20:50 +0900 |
| parents | 6bf2e0196a1e |
| children |
comparison
equal
deleted
inserted
replaced
| 53:9902994fbd1a | 54:ef9730f3db8d |
|---|