search

jcommelin / queueboard

Mathlib4 review and triage dashboard
https://jcommelin.github.io/queueboard/
Apache License 2.0
3 stars 4 forks source link

fix URL to DataTables CSS #58

Closed bryangingechen closed 1 month ago

grunweg commented 1 month ago

Good catch! As it so happened, I merged the same fix minutes ago (I think - if I was wrong, please reopen this PR and correct me!). Hence, let me close this PR.