From d705309199a38cea944583238270a52b8b74204b Mon Sep 17 00:00:00 2001 From: Christian Grothoff Date: Thu, 22 Sep 2016 15:09:33 +0200 Subject: remove generated file --- articles/ui/ui.pdf | Bin 1595846 -> 0 bytes 1 file changed, 0 insertions(+), 0 deletions(-) delete mode 100644 articles/ui/ui.pdf (limited to 'articles') diff --git a/articles/ui/ui.pdf b/articles/ui/ui.pdf deleted file mode 100644 index 98ae6e2d3..000000000 Binary files a/articles/ui/ui.pdf and /dev/null differ -- cgit v1.2.3