From cfa33adadd8cf2d5133d134e4249e42ccf0383da Mon Sep 17 00:00:00 2001 From: Florian Dold Date: Sat, 14 May 2016 00:01:00 +0200 Subject: minor fixes --- articles/ui/ui.pdf | Bin 725667 -> 708288 bytes 1 file changed, 0 insertions(+), 0 deletions(-) (limited to 'articles/ui/ui.pdf') diff --git a/articles/ui/ui.pdf b/articles/ui/ui.pdf index 08e9aba4e..31118ab6d 100644 Binary files a/articles/ui/ui.pdf and b/articles/ui/ui.pdf differ -- cgit v1.2.3