aboutsummaryrefslogtreecommitdiff
path: root/docs/regenerate_docs.sh
AgeCommit message (Expand)Author
2021-10-25Use more portable `#!/usr/bin/env bash` shebang instead of hardcoded /bin/bas...Yesudeep Mangalapilly
2021-09-24Run regenerate_docs.sh (#297)Alex Eagle
2019-02-28add documentation pages for rules/ and lib/ (#119)c-parsons