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 /public/index.html | |
parent | 6f1a102c4b223a05b425a59d6379569a1a22e7f0 (diff) |
Upgrade Map technos
Diffstat (limited to 'public/index.html')
-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> |