add users_manage.sh script
[brisk.git] / bin / users_manage.sh
2017-07-12 Matteo Nastasiadd users_manage.sh script