Editing Pools

As with editing Buildings, with this command you can edit the properties of a Pool. The parameters Name, Reference and Date are those that directly affect the export to GML.