Mercurial > hg > Papers > 2018 > nozomi-master
comparison .hgignore @ 52:fb42478e4c96
Writing agda description
author | atton <atton@cr.ie.u-ryukyu.ac.jp> |
---|---|
date | Tue, 31 Jan 2017 16:41:36 +0900 (2017-01-31) |
parents | 6bf2e0196a1e |
children |
comparison
equal
deleted
inserted
replaced
51:6318c8f4bb8c | 52:fb42478e4c96 |
---|