From ca20be57ce8c627a6e7f7167626f670033a1fc41 Mon Sep 17 00:00:00 2001 From: Michael Mayer Date: Wed, 20 Sep 2023 12:03:06 +0200 Subject: [PATCH] CSS: Rename maps.css to places.css for consistency #1187 Signed-off-by: Michael Mayer --- frontend/src/css/app.css | 2 +- frontend/src/css/{maps.css => places.css} | 0 2 files changed, 1 insertion(+), 1 deletion(-) rename frontend/src/css/{maps.css => places.css} (100%) diff --git a/frontend/src/css/app.css b/frontend/src/css/app.css index 166ff3454..db5177ed1 100644 --- a/frontend/src/css/app.css +++ b/frontend/src/css/app.css @@ -38,7 +38,7 @@ Additional information can be found in our Developer Guide: @import url("viewer.css"); @import url("tables.css"); @import url("results.css"); -@import url("maps.css"); +@import url("places.css"); @import url("labels.css"); @import url("files.css"); @import url("pages.css"); diff --git a/frontend/src/css/maps.css b/frontend/src/css/places.css similarity index 100% rename from frontend/src/css/maps.css rename to frontend/src/css/places.css