diff options
Diffstat (limited to 'resources')
| -rw-r--r-- | resources/amsthdoc.pdf | bin | 177495 -> 0 bytes |
| -rw-r--r-- | resources/pgfmanual.pdf | bin | 10580316 -> 0 bytes |
| -rw-r--r-- | resources/symbols.pdf | bin | 261478 -> 0 bytes |
| -rw-r--r-- | resources/tikz-cd-doc.pdf | bin | 266756 -> 0 bytes |
4 files changed, 0 insertions, 0 deletions
diff --git a/resources/amsthdoc.pdf b/resources/amsthdoc.pdf deleted file mode 100644 index c9209b0..0000000 --- a/resources/amsthdoc.pdf +++ /dev/null | |||
| Binary files differ | |||
diff --git a/resources/pgfmanual.pdf b/resources/pgfmanual.pdf deleted file mode 100644 index 47b3273..0000000 --- a/resources/pgfmanual.pdf +++ /dev/null | |||
| Binary files differ | |||
diff --git a/resources/symbols.pdf b/resources/symbols.pdf deleted file mode 100644 index 7dab684..0000000 --- a/resources/symbols.pdf +++ /dev/null | |||
| Binary files differ | |||
diff --git a/resources/tikz-cd-doc.pdf b/resources/tikz-cd-doc.pdf deleted file mode 100644 index e4f8c8d..0000000 --- a/resources/tikz-cd-doc.pdf +++ /dev/null | |||
| Binary files differ | |||