Script for implementing custom HotCRP policies
Primary LanguageJavaScript
No issues in this repository yet.