Revision e70fe7a806d2f51df88098e745e982b7a33664af

Committed on 29/01/2020 3:56 pm by Luca Realdi <lr@opencontent.it> [GitHub Diff]

Add remove map gui