gcampax opened this issue 3 years ago · 1 comments
We need a script to typecheck all commands in commandpedia, and flag the invalid/unsupported ones as obsolete.
Fixed by #982