discord-bot/src/commands
2025-02-18 21:14:05 +00:00
..
add_server.rs feat: now properly sets and removes roles for committee members 2025-02-18 21:14:05 +00:00
link_email.rs feat: fixed up the changes 2025-02-18 13:36:08 +00:00
minecraft.rs feat: fixed up the changes 2025-02-18 13:36:08 +00:00
mod.rs Merge branch 'main' into #17-automate-onboarding-mk-ii 2024-10-27 23:56:48 +00:00
role_adder.rs fmt: formatting and clippy 2024-10-28 21:53:04 +00:00