voussoir d84fc037fe Use urandom instead of uuid for session id.		2018-01-13 15:49:14 -08:00
..
etiquette_flask	Use urandom instead of uuid for session id.	2018-01-13 15:49:14 -08:00
etiquette_repl.py	Improve log creation and use custom formatter.	2017-11-26 02:37:11 -08:00