Merge branch 'ru-logo' into 'master'
authorMart Lubbers <mlubbers@science.ru.nl>
Mon, 10 Oct 2016 17:35:20 +0000 (19:35 +0200)
committerMart Lubbers <mlubbers@science.ru.nl>
Mon, 10 Oct 2016 17:35:20 +0000 (19:35 +0200)
Vectorize RU logo

Change RU-logo format from PNG to PDF.

See merge request !1


Trivial merge