Mercurial > hg > Members > atton > agda-proofs
log .hgignore @ 53:6af88ee5c4ca
age | author | description |
---|---|---|
Sun, 02 Nov 2014 09:40:40 +0900 | Yasutaka Higa | Initial commit |
age | author | description |
---|---|---|
Sun, 02 Nov 2014 09:40:40 +0900 | Yasutaka Higa | Initial commit |