descriptionStuff (stylesheets, scripts, configs) for the Ipe drawing editor.
ownerStefan Huber
last changeThu, 4 Jun 2020 09:30:23 +0000 (11:30 +0200)
shortlog
2020-06-04 Stefan Huberipe: Update new menu shurtcuts master
2015-04-02 Stefan HuberUpdate style files, +10pt, +tiling
2013-10-10 Stefan HuberInitial commit
heads
11 months ago master