diff options
author | Joris | 2020-07-13 21:30:32 +0200 |
---|---|---|
committer | Joris | 2020-07-13 21:30:32 +0200 |
commit | d1135ff55db85ef81bbe2bd8f283cdbbd5464298 (patch) | |
tree | a971c4d88b862b21ca2263c6c48b053d64c9b125 /public/index.html | |
parent | 73a9d499c9e3709d99d61bbbbf412611a5c503b9 (diff) |
Show map and add marks with right click
Diffstat (limited to 'public/index.html')
-rw-r--r-- | public/index.html | 22 |
1 files changed, 22 insertions, 0 deletions
diff --git a/public/index.html b/public/index.html new file mode 100644 index 0000000..3c7e9be --- /dev/null +++ b/public/index.html @@ -0,0 +1,22 @@ +<!DOCTYPE html> +<html lang="fr"> + + <head> + <meta charset="utf-8"> + <meta name="viewport" content="width=device-width, initial-scale=1"> + <title>Map</title> + <link rel="stylesheet" href="main.css" /> + + <!-- Font awesome --> + <link href="font-awesome-4.7.0/css/font-awesome.min.css" rel="stylesheet"> + + <!-- Leaflet --> + <link rel="stylesheet" href="leaflet/leaflet.css"> + <script src="leaflet/leaflet.js"></script> + </head> + + <body> + <script src="main.js"></script> + </body> + +</html> |