swrup/geochan
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

remove redundant leaflet.js

Browse source
This commit is contained in:
Swrup 2022-05-19 13:50:50 +02:00
parent ebe48d71b6
commit 0af4a9fa29
2 changed files with 0 additions and 8 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/js/dune
View file

@ -23,8 +23,6 @@
(name map) (name map)
(modules map) (modules map)
(libraries js_of_ocaml brr leaflet utils) (libraries js_of_ocaml brr leaflet utils)
(js_of_ocaml
(javascript_files leaflet/leaflet.js))
(preprocess (preprocess
(pps js_of_ocaml-ppx))) (pps js_of_ocaml-ppx)))

6
src/js/leaflet/leaflet.js
View file

File diff suppressed because one or more lines are too long