Make sure all resources are set
[Misc/ipe.git] / tools / svgtoipe.py
2016-05-10 Marcelmoved to tools