jordi fita mas 6f78ad944f Do not set campground_map’s height via JavaScript
It already has a height set via CSS; no need to overwrite it.
2024-01-31 15:01:13 +01:00
..
2023-07-26 18:59:17 +02:00
2023-07-26 13:49:47 +02:00