jesopo 96550eaef0 put permission control on !serverignore, don't rely on setting default of None		2019-05-06 17:16:48 +01:00
..
__init__.py	put permission control on !serverignore, don't rely on setting default of None	2019-05-06 17:16:48 +01:00
outs.py	No longer prefix stderr with "!", it doesn't really make sense	2019-04-30 22:45:52 +01:00