From cead4ac2c9132fb425141fc682cd156029d1f1e8 Mon Sep 17 00:00:00 2001
From: Gabriel Augendre <gabriel@augendre.info>
Date: Sat, 2 Mar 2019 12:48:01 +0100
Subject: [PATCH] Add js mappings

---
 .idea/jsLibraryMappings.xml | 6 ++++++
 1 file changed, 6 insertions(+)
 create mode 100644 .idea/jsLibraryMappings.xml

diff --git a/.idea/jsLibraryMappings.xml b/.idea/jsLibraryMappings.xml
new file mode 100644
index 0000000..152540f
--- /dev/null
+++ b/.idea/jsLibraryMappings.xml
@@ -0,0 +1,6 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<project version="4">
+  <component name="JavaScriptLibraryMappings">
+    <file url="file://$PROJECT_DIR$" libraries="{leaflet}" />
+  </component>
+</project>
\ No newline at end of file