diff -r 15a1a28f609a -r 8b3d57a519eb web/semanticboard.php --- a/web/semanticboard.php Fri Jun 15 08:40:12 2018 +0000 +++ b/web/semanticboard.php Mon Jun 18 23:15:34 2018 +0200 @@ -31,9 +31,9 @@ - + ">