leaflet/src
2026-03-19 21:56:59 +01:00
..
dune add icon 2026-03-19 21:56:59 +01:00
event.ml add point 2026-03-19 21:56:59 +01:00
event.mli add point 2026-03-19 21:56:59 +01:00
global.ml license 2026-03-19 21:56:57 +01:00
icon.ml add popup options 2026-03-19 21:56:59 +01:00
icon.mli add popup options 2026-03-19 21:56:59 +01:00
latlng.ml license 2026-03-19 21:56:57 +01:00
latlng.mli add documentation, remove Map.as_target 2026-03-19 21:56:59 +01:00
layer.ml better Layer.bind_popup and add Map.open/close_popup 2026-03-19 21:56:59 +01:00
layer.mli better Layer.bind_popup and add Map.open/close_popup 2026-03-19 21:56:59 +01:00
leaflet.js make geopub/leaflet a separate library 2026-03-19 21:54:45 +01:00
map.ml better Layer.bind_popup and add Map.open/close_popup 2026-03-19 21:56:59 +01:00
map.mli better Layer.bind_popup and add Map.open/close_popup 2026-03-19 21:56:59 +01:00
point.ml add icon 2026-03-19 21:56:59 +01:00
point.mli add icon 2026-03-19 21:56:59 +01:00
popup.ml better Layer.bind_popup and add Map.open/close_popup 2026-03-19 21:56:59 +01:00
popup.mli better Layer.bind_popup and add Map.open/close_popup 2026-03-19 21:56:59 +01:00