aboutsummaryrefslogtreecommitdiff
path: root/articles
diff options
context:
space:
mode:
authorChristian Grothoff <christian@grothoff.org>2016-09-22 15:09:33 +0200
committerChristian Grothoff <christian@grothoff.org>2016-09-22 15:09:33 +0200
commitd705309199a38cea944583238270a52b8b74204b (patch)
tree2294858ca515ae417edc3bbd1be3932023c0c623 /articles
parent4974dd19c02778f0c58fad6cd12e839c9164e00d (diff)
remove generated file
Diffstat (limited to 'articles')
-rw-r--r--articles/ui/ui.pdfbin1595846 -> 0 bytes
1 files changed, 0 insertions, 0 deletions
diff --git a/articles/ui/ui.pdf b/articles/ui/ui.pdf
deleted file mode 100644
index 98ae6e2d3..000000000
--- a/articles/ui/ui.pdf
+++ /dev/null
Binary files differ