Jeremy Zhang 1fac087b6d Use the api endpoint to only clean the keyvalue store for now. the messages should be handled by the external bot script

2017-09-09 05:01:02 +00:00

..

blueprints

Use the api endpoint to only clean the keyvalue store for now. the messages should be handled by the external bot script

2017-09-09 05:01:02 +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