|
dune
|
add icon
|
2022-06-20 07:57:38 +02: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
|
add Icon.create_div
|
2022-11-24 19:21:57 +01:00 |
|
icon.mli
|
add Icon.create_div
|
2022-11-24 19:21:57 +01:00 |
|
latlng.ml
|
license
|
2022-04-12 13:48:27 +02:00 |
|
latlng.mli
|
add documentation, remove Map.as_target
|
2022-06-15 17:17:35 +02:00 |
|
layer.ml
|
more marker function
|
2022-11-24 19:22:18 +01:00 |
|
layer.mli
|
more marker function
|
2022-11-24 19:22:18 +01:00 |
|
leaflet.js
|
make geopub/leaflet a separate library
|
2022-04-06 18:52:52 +02:00 |
|
map.ml
|
better popups
|
2022-06-26 05:07:45 +02:00 |
|
map.mli
|
fix doc
|
2022-12-31 01:58:20 +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
|
better popups
|
2022-06-26 05:07:45 +02:00 |
|
popup.mli
|
better popups
|
2022-06-26 05:07:45 +02:00 |
