From 4310d9211d1b1feced8abb5e6c236a36d4de5436 Mon Sep 17 00:00:00 2001
From: Piotr Gawron <piotr.gawron@uni.lu>
Date: Thu, 10 Aug 2017 16:31:08 +0200
Subject: [PATCH] maps renamed to projects
---
frontend-js/src/main/js/Admin.js | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/frontend-js/src/main/js/Admin.js b/frontend-js/src/main/js/Admin.js
index 8687c63e7e..9e7a1dbd2a 100644
--- a/frontend-js/src/main/js/Admin.js
+++ b/frontend-js/src/main/js/Admin.js
@@ -59,7 +59,7 @@ Admin.prototype._createGui = function() {
name : "COMMENTS",
panelClass : CommentsAdminPanel,
}, {
- name : "MAPS",
+ name : "PROJECTS",
panelClass : MapsAdminPanel,
}, {
name : "USERS",
--
GitLab