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

fix agda.tex
author ryokka
date Thu, 06 Feb 2020 19:24:32 +0900
parents c7acb9211784
children
line wrap: on
line diff
--- a/paper/fig/csds.xbb	Wed Feb 05 02:48:31 2020 +0900
+++ b/paper/fig/csds.xbb	Thu Feb 06 19:24:32 2020 +0900
@@ -4,5 +4,5 @@
 %%HiResBoundingBox: 0.000000 0.000000 580.000000 76.000000
 %%PDFVersion: 1.3
 %%Pages: 1
-%%CreationDate: Mon Jan 20 14:41:04 2020
+%%CreationDate: Wed Feb  5 17:52:45 2020