Allows user to delete geocoding, if not appropriate.
[platal.git] / doc / .gitignore
CommitLineData
98c7bd6a 1/html