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

fix agda.tex
author ryokka
date Thu, 06 Feb 2020 19:24:32 +0900
parents d30593612a38
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
6
ryokka
parents:
diff changeset
1 %%Title: fig/cgdg.pdf
ryokka
parents:
diff changeset
2 %%Creator: extractbb 20190225
ryokka
parents:
diff changeset
3 %%BoundingBox: 0 0 535 427
ryokka
parents:
diff changeset
4 %%HiResBoundingBox: 0.000000 0.000000 535.000000 427.000000
ryokka
parents:
diff changeset
5 %%PDFVersion: 1.3
ryokka
parents:
diff changeset
6 %%Pages: 1
7
8ef64db63497 fix agda.tex
ryokka
parents: 6
diff changeset
7 %%CreationDate: Wed Feb 5 17:52:45 2020
6
ryokka
parents:
diff changeset
8