|
vendor
|
use dune-site
|
2024-11-23 09:25:29 +01:00 |
|
dune
|
use dune-site
|
2024-11-23 09:25:29 +01:00 |
|
event.ml
|
add point
|
2022-06-15 17:17:35 +02:00 |
|
event.mli
|
add point
|
2022-06-15 17:17:35 +02:00 |
|
global.ml
|
license
|
2022-04-12 13:48:27 +02:00 |
|
icon.ml
|
list -> array
|
2024-01-30 16:55:19 +01:00 |
|
icon.mli
|
list -> array
|
2024-01-30 16:55:19 +01:00 |
|
latlng.ml
|
-> Latlng.create ~lat ~lng
|
2024-01-29 20:27:37 +01:00 |
|
latlng.mli
|
-> Latlng.create ~lat ~lng
|
2024-01-29 20:27:37 +01:00 |
|
layer.ml
|
create_geojson need a json object
|
2024-07-18 10:36:27 +02:00 |
|
layer.mli
|
create_geojson need a json object
|
2024-07-18 10:36:27 +02:00 |
|
map.ml
|
Map.on: make handler type be (.. -> unit)
|
2024-11-23 09:25:43 +01:00 |
|
map.mli
|
Map.on: make handler type be (.. -> unit)
|
2024-11-23 09:25:43 +01:00 |
|
marker.ml
|
list -> array
|
2024-01-30 16:55:19 +01:00 |
|
marker.mli
|
list -> array
|
2024-01-30 16:55:19 +01:00 |
|
point.ml
|
add icon
|
2022-06-20 07:57:38 +02:00 |
|
point.mli
|
add icon
|
2022-06-20 07:57:38 +02:00 |
|
popup.ml
|
list -> array
|
2024-01-30 16:55:19 +01:00 |
|
popup.mli
|
list -> array
|
2024-01-30 16:55:19 +01:00 |
