diff options
| author | Christian Grothoff <christian@grothoff.org> | 2016-09-22 15:09:33 +0200 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2016-09-22 15:09:33 +0200 |
| commit | d705309199a38cea944583238270a52b8b74204b (patch) | |
| tree | 2294858ca515ae417edc3bbd1be3932023c0c623 | |
| parent | 4974dd19c02778f0c58fad6cd12e839c9164e00d (diff) | |
remove generated file
| -rw-r--r-- | articles/ui/ui.pdf | bin | 1595846 -> 0 bytes |
1 files changed, 0 insertions, 0 deletions
diff --git a/articles/ui/ui.pdf b/articles/ui/ui.pdf Binary files differdeleted file mode 100644 index 98ae6e2d3..000000000 --- a/articles/ui/ui.pdf +++ /dev/null |