Jeremy "EndenDragon" Zhang 0ba1a56ade
Rename server command to server
Because you can't really have two commands named the same, yeah?
2018-01-09 17:07:28 -08:00
..
2017-11-05 05:59:06 +00:00
2017-11-05 05:59:06 +00:00
2018-01-06 09:59:04 +00:00
2018-01-09 17:07:28 -08:00