diff options
| author | Georgios Andreadis <info@gandreadis.com> | 2020-07-01 13:33:31 +0200 |
|---|---|---|
| committer | Fabian Mastenbroek <mail.fabianm@gmail.com> | 2020-08-24 19:47:17 +0200 |
| commit | de8f12d74faef5fa3f9e38d1340948cab2d06ea3 (patch) | |
| tree | 678bf1af3e5fa2334f0df43388d45294785bbf1e /frontend/src/util/room-types.js | |
| parent | 44236756c4cf689806dc17c6950a2cff3e9227bf (diff) | |
Manually generate IDs
Diffstat (limited to 'frontend/src/util/room-types.js')
| -rw-r--r-- | frontend/src/util/room-types.js | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/frontend/src/util/room-types.js b/frontend/src/util/room-types.js index 5cfe3887..ff69d013 100644 --- a/frontend/src/util/room-types.js +++ b/frontend/src/util/room-types.js @@ -1,7 +1,7 @@ export const ROOM_TYPE_TO_NAME_MAP = { - SERVER: "Server room", - HALLWAY: "Hallway", - OFFICE: "Office", - POWER: "Power room", - COOLING: "Cooling room" -}; + SERVER: 'Server room', + HALLWAY: 'Hallway', + OFFICE: 'Office', + POWER: 'Power room', + COOLING: 'Cooling room', +} |