Anthony Debucquoy d5ced211a2 Adding role to users ... A user is defined by it's role and should be defined in it's setter and getter Closes #8		2023-12-11 16:52:44 +01:00
..
proto	Adding role to users	2023-12-11 16:52:44 +01:00