changeset 66:f15155ec9bd9 prepaper_v1

Add generated prepaper PDF
author Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
date Tue, 17 Feb 2015 12:28:35 +0900
parents 4f7137c0ea15
children b5c04cca699b
files .hgignore prepaper/115763K.pdf
diffstat 2 files changed, 0 insertions(+), 2 deletions(-) [+]
line wrap: on
line diff
--- a/.hgignore	Tue Feb 17 12:28:08 2015 +0900
+++ b/.hgignore	Tue Feb 17 12:28:35 2015 +0900
@@ -19,5 +19,3 @@
 *.agda.replaced
 *.agdai
 *.agda~
-
-115763K.pdf
Binary file prepaper/115763K.pdf has changed