From b2755048d5b7597d1c6dd7bc675f0881921bc90e Mon Sep 17 00:00:00 2001 From: Steffen Vogel Date: Mon, 8 Mar 2021 18:44:42 +0100 Subject: [PATCH] rename "Infrastructure Components" menu entry to "Infrastructure" to be more concise and match router path --- src/common/header-menu.js | 2 +- src/common/menu-sidebar.js | 4 ++-- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/src/common/header-menu.js b/src/common/header-menu.js index e32af23..b8d3e20 100644 --- a/src/common/header-menu.js +++ b/src/common/header-menu.js @@ -28,7 +28,7 @@ export default class HeaderMenu extends React.Component {