diff paper/fig/cgdg.xbb @ 7:8ef64db63497

fix agda.tex
author ryokka
date Thu, 06 Feb 2020 19:24:32 +0900
parents d30593612a38
children
line wrap: on
line diff
--- a/paper/fig/cgdg.xbb	Wed Feb 05 02:48:31 2020 +0900
+++ b/paper/fig/cgdg.xbb	Thu Feb 06 19:24:32 2020 +0900
@@ -4,5 +4,5 @@
 %%HiResBoundingBox: 0.000000 0.000000 535.000000 427.000000
 %%PDFVersion: 1.3
 %%Pages: 1
-%%CreationDate: Wed Feb  5 01:55:59 2020
+%%CreationDate: Wed Feb  5 17:52:45 2020