tildetown-admin/scripts
vilmibm f095c5ec7f add script for starting server 2019-01-15 03:43:57 +00:00
..
create_keyfile.py fix perms 2018-02-23 14:43:01 -08:00
rename_user.py kill user processes during rename and send email about it 2018-09-05 19:25:00 -07:00
start.sh add script for starting server 2019-01-15 03:43:57 +00:00