This repository has been archived on 2023-07-01. You can view files and clone it, but cannot push or open issues or pull requests.

Eugen Rochko 540b3f37ae

Replace drawer elephant graphic with a vector image (#6286) ...

* Replace drawer elephant graphic with a vector image

* Replace wave graphic with SVG

* Remove unused elephant graphic

2018-01-19 15:25:27 +01:00

1 line

11 KiB

XML

Raw Blame History