diff options
| author | Florian Dold <florian.dold@gmail.com> | 2016-05-13 13:51:46 +0200 |
|---|---|---|
| committer | Florian Dold <florian.dold@gmail.com> | 2016-05-13 13:51:46 +0200 |
| commit | 510c239b2b25c9919003fd71449ba5d2d9bbdef6 (patch) | |
| tree | 384f95832351e8e33cdc2c2d10323fafa63158e3 /articles/ui/ui.pdf | |
| parent | a1e14191864c983e5c8cee39970ad96d7db5f35f (diff) | |
remove tex temp files that don't belong here
Diffstat (limited to 'articles/ui/ui.pdf')
| -rw-r--r-- | articles/ui/ui.pdf | bin | 783612 -> 725667 bytes |
1 files changed, 0 insertions, 0 deletions
diff --git a/articles/ui/ui.pdf b/articles/ui/ui.pdf Binary files differindex a7a340aad..08e9aba4e 100644 --- a/articles/ui/ui.pdf +++ b/articles/ui/ui.pdf |