diff options
| author | Joris | 2025-04-19 12:36:38 +0200 |
|---|---|---|
| committer | Joris | 2025-04-19 12:38:24 +0200 |
| commit | 632eef6424d8dc8d40c2906177892697679e7b85 (patch) | |
| tree | 48d9cd60e9e96eab810b5f7bb3c7b1fa79e0438f /public/index.html | |
| parent | 063d8ef9eaf874a941f4459e831057dd0a1b7ddd (diff) | |
Add ZIG server
Diffstat (limited to 'public/index.html')
| -rw-r--r-- | public/index.html | 15 |
1 files changed, 0 insertions, 15 deletions
diff --git a/public/index.html b/public/index.html deleted file mode 100644 index 2f215cb..0000000 --- a/public/index.html +++ /dev/null @@ -1,15 +0,0 @@ -<!doctype html> -<html lang="fr"> -<meta charset="utf-8"> -<meta name="viewport" content="width=device-width"> -<title>Map</title> -<link rel="stylesheet" href="/main.css"> -<link rel="icon" href="/icon.png"> - -<!-- Leaflet --> -<link rel="stylesheet" href="leaflet/leaflet.css"> -<script src="leaflet/leaflet.js"></script> - -<body></body> - -<script src="main.js"></script> |