Commit graph

6 commits

Author SHA1 Message Date
paul-gauthier
7eb60bbc23
Update commands.md 2024-06-09 11:28:41 -07:00
Paul Gauthier
88ea4198ea added descriptions 2024-06-08 13:57:16 -07:00
Paul Gauthier
2be24f207f copy 2024-06-06 16:44:00 -07:00
Paul Gauthier
8c3ccf5054 copy 2024-06-06 09:54:24 -07:00
Paul Gauthier
e3cc69d0c8 coq for in-chat commands 2024-06-05 20:10:48 -07:00
Paul Gauthier
56519361e2 move into website/ 2024-06-05 14:28:39 -07:00
Renamed from docs/commands.md (Browse further)