diff options
| author | Jeff Burdges <burdges@gnunet.org> | 2016-05-12 15:32:08 +0200 |
|---|---|---|
| committer | Jeff Burdges <burdges@gnunet.org> | 2016-05-12 15:32:08 +0200 |
| commit | a1e14191864c983e5c8cee39970ad96d7db5f35f (patch) | |
| tree | 94181f48a26cec75c013a5902cedf64f8d90f66d | |
| parent | ad342bc9ba6d2aedc29e461dae7ff0ac67dfa3b5 (diff) | |
Renames
| -rw-r--r-- | articles/ui/ui_short-submit.pdf (renamed from articles/ui/ui_short.pdf) | bin | 123667 -> 123667 bytes |
| -rw-r--r-- | articles/ui/ui_short-submitted.pdf | bin | 123675 -> 0 bytes |
2 files changed, 0 insertions, 0 deletions
diff --git a/articles/ui/ui_short.pdf b/articles/ui/ui_short-submit.pdf Binary files differindex 5e6d05d29..5e6d05d29 100644 --- a/articles/ui/ui_short.pdf +++ b/articles/ui/ui_short-submit.pdf diff --git a/articles/ui/ui_short-submitted.pdf b/articles/ui/ui_short-submitted.pdf Binary files differdeleted file mode 100644 index c423cde96..000000000 --- a/articles/ui/ui_short-submitted.pdf +++ /dev/null |