Robin C. Ladiges c41499f953 remove unused label ... git cherry-pick accidentially picked up a line from another commit for the JSON API		2022-09-07 10:35:26 -06:00
..
Client.cs	Removed fire-and-forget warnings, null-forgave some metadata.	2022-07-29 12:55:01 -06:00
CommandHandler.cs	Added quotable arguments, potential fix for ban * not banning anyone.	2022-07-27 12:14:56 -06:00
DiscordBot.cs	You can run commands in the command channel or log channel	2022-08-22 18:58:42 -06:00
FlipOptions.cs	Add scenario merging and run reformatting on solution	2022-03-01 15:08:53 -06:00
Program.cs	move clear task	2022-09-05 18:56:24 -06:00
Server.cs	remove unused label	2022-09-07 10:35:26 -06:00
Server.csproj	Add a simple discord bot to manage the server	2022-06-12 18:48:24 -06:00
Settings.cs	Differentiated command channel and log channel	2022-08-22 18:58:42 -06:00
Time.cs	Add tag commands and improve command handling	2022-03-14 23:59:23 -06:00