diff options
| author | Joris | 2023-02-10 15:11:13 +0100 |
|---|---|---|
| committer | Joris | 2023-02-10 15:11:13 +0100 |
| commit | 58f78dca61e3a4d778092d193ba05579b64d8cef (patch) | |
| tree | 1fe18a11a03edf360f512f78ab9a39c63de13c88 | |
| parent | 6f1a102c4b223a05b425a59d6379569a1a22e7f0 (diff) | |
Upgrade Map technos
| -rw-r--r-- | public/index.html | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/public/index.html b/public/index.html index cc32aa9..61ec887 100644 --- a/public/index.html +++ b/public/index.html @@ -303,8 +303,7 @@ <div class="project-footer"> <ul class="technos"> - <li>Ocaml - <li>BuckleScript + <li>TypeScript <li>Leaflet </ul> <div> |