Mercurial > hg > Papers > 2018 > ryokka-sigos
log Paper/escape_agda.rb @ 8:35d15c091cfd
age | author | description |
---|---|---|
Mon, 23 Apr 2018 21:44:32 +0900 | ryokka | fix Makefile export .agda.replaced,and main document |
age | author | description |
---|---|---|
Mon, 23 Apr 2018 21:44:32 +0900 | ryokka | fix Makefile export .agda.replaced,and main document |