diff options
| author | Guilhem Moulin <guilhem@fripost.org> | 2026-03-06 13:50:24 +0100 |
|---|---|---|
| committer | Guilhem Moulin <guilhem@fripost.org> | 2026-03-06 16:08:40 +0100 |
| commit | 1af347391f9f54b370dfc7395464b8ed637a79ca (patch) | |
| tree | f73b1ff30c968763260c0aa0443de572c665350e /webmap-tools | |
| parent | 8ee835b7fc9a3e3eac93a74f877b0b040d8dcb03 (diff) | |
Rename "webmap" to the less generic "geodata".
The database has uses beyond the webmap.
Cf. ca91a579770c89d25aefae220079bf336fa88dc9 in tools.
Diffstat (limited to 'webmap-tools')
| m--------- | webmap-tools | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/webmap-tools b/webmap-tools -Subproject dac98568efd76dea7e7149c55a841218ea73378 +Subproject ca91a579770c89d25aefae220079bf336fa88dc |