remove redundant leaflet.js

2022-05-19 13:50:50 +02:00 · 2022-05-19 13:50:50 +02:00 · 2c4d2bd83d
commit 2c4d2bd83d
parent b8a6971363
2 changed files with 0 additions and 8 deletions
--- a/src/js/dune
+++ b/src/js/dune
@ -23,8 +23,6 @@
 (name map)
 (modules map)
 (libraries js_of_ocaml brr leaflet utils)
- (js_of_ocaml
-  (javascript_files leaflet/leaflet.js))
 (preprocess
  (pps js_of_ocaml-ppx)))

--- a/src/js/leaflet/leaflet.js
+++ b/src/js/leaflet/leaflet.js