Rename the xmlgui file

This commit is contained in:
Luca Beltrame 2015-02-15 23:36:36 +01:00
parent 77ad8472c5
commit 9aa5a7c839