Jeremy Zhang 207e13b639 Cast user_id to string during comparison to fix guest posting		2017-09-09 02:30:23 +00:00
..
blueprints	Cast user_id to string during comparison to fix guest posting	2017-09-09 02:30:23 +00:00
database	Cast message and channel ids to bigint for comparison	2017-09-08 20:44:26 +00:00
static	Implement CSS variables to the default theme as of now	2017-09-08 00:14:10 +00:00
templates	Add alt text to discord emojis so that it is copypasteable	2017-09-08 22:17:57 +00:00
__init__.py	Move devs to the administrators table	2017-07-22 02:06:45 +00:00
app.py	Inital postgresql implementation (#46)	2017-09-04 23:54:54 -07:00
decorators.py	Initial structure for discordbot addition	2017-05-02 18:37:24 +00:00
discordrest.py	Allow the bot to work with not having Administrator permissions (#47)	2017-09-06 17:59:22 -07:00
oauth.py	Allow the bot to work with not having Administrator permissions (#47)	2017-09-06 17:59:22 -07:00
userbookkeeping.py	Allow the bot to work with not having Administrator permissions (#47)	2017-09-06 17:59:22 -07:00
utils.py	Basic message relaying via WS	2017-08-20 19:56:54 +00:00