diff frontends/src/tools/xmlui.py @ 2001:b47492e8af0c

installation (MANIFEST): added misc directory
author Goffi <goffi@goffi.org>
date Wed, 13 Jul 2016 10:45:28 +0200
parents 2daf7b4c6756
children 9ad1a06ed0f8
line wrap: on
line diff