Mercurial > hg > Members > atton > agda-proofs
log .hgignore @ 42:f7916d13e2b1
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 |