Add user pages

2023-01-06 01:25:41 +01:00
parent 0f91536b10
commit 8bd33a8be3
6 changed files with 41 additions and 4 deletions
@@ -24,7 +24,6 @@ import {
 } from './db/database'

 import {
-    Id,
    isAdministrator,
    isStudent,
    Opaque,