diff options
| author | Jeff Burdges <burdges@gnunet.org> | 2016-05-12 12:49:06 +0200 |
|---|---|---|
| committer | Jeff Burdges <burdges@gnunet.org> | 2016-05-12 12:49:06 +0200 |
| commit | 311a97081b649dac939bf1efeb9b157cb7d0a937 (patch) | |
| tree | 3da83ffd143827054c1c06d1db0935340c37bbb5 /articles/ui/ui_short.pdf | |
| parent | c6f9b09865f46ded26caf86be9c56087448fa303 (diff) | |
Avoid merge conflicts with ui_short.pdf
Diffstat (limited to 'articles/ui/ui_short.pdf')
| -rw-r--r-- | articles/ui/ui_short.pdf | bin | 123675 -> 0 bytes |
1 files changed, 0 insertions, 0 deletions
diff --git a/articles/ui/ui_short.pdf b/articles/ui/ui_short.pdf Binary files differdeleted file mode 100644 index c423cde96..000000000 --- a/articles/ui/ui_short.pdf +++ /dev/null |