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

fix agda.tex
author ryokka
date Thu, 06 Feb 2020 19:24:32 +0900
parents c7acb9211784
children
comparison
equal deleted inserted replaced
6:d30593612a38 7:8ef64db63497
2 %%Creator: extractbb 20190225 2 %%Creator: extractbb 20190225
3 %%BoundingBox: 0 0 580 76 3 %%BoundingBox: 0 0 580 76
4 %%HiResBoundingBox: 0.000000 0.000000 580.000000 76.000000 4 %%HiResBoundingBox: 0.000000 0.000000 580.000000 76.000000
5 %%PDFVersion: 1.3 5 %%PDFVersion: 1.3
6 %%Pages: 1 6 %%Pages: 1
7 %%CreationDate: Mon Jan 20 14:41:04 2020 7 %%CreationDate: Wed Feb 5 17:52:45 2020
8 8