make geopub/leaflet a separate library

2022-04-05 16:33:14 +02:00 · 2022-04-05 16:33:14 +02:00 · 2fe7c1450d
commit 2fe7c1450d
18 changed files with 352 additions and 0 deletions
--- a/test/dune
+++ b/test/dune
@ -0,0 +1,3 @@
+(test
+ (name test)
+ (modules test))