Laurent Destailleur db57aea163 Fix class does not exist

2021-09-15 20:05:37 +02:00

..

workstation.class.php

Fix class does not exist

2021-09-15 20:05:37 +02:00

workstationresource.class.php

…

workstationusergroup.class.php

…