Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Add copyright and license decl to some files that were missing [ci skip] | Jack Lloyd | 2021-01-26 | 1 | -0/+2 |
* | Fix lgtm finding | Jack Lloyd | 2019-06-20 | 1 | -2/+4 |
* | Reorg documentation layout. Rename manual to handbook. | Jack Lloyd | 2019-05-31 | 1 | -10/+10 |
* | Ignore .doctrees missing when building website | Jack Lloyd | 2018-09-19 | 1 | -2/+9 |
* | Create an empty favicon.ico for the website build [ci skip] | Jack Lloyd | 2018-01-12 | 1 | -0/+4 |
* | Add -o flag to website generator | Jack Lloyd | 2018-01-04 | 1 | -1/+1 |
* | Build the PDF | Jack Lloyd | 2017-09-28 | 1 | -19/+31 |
* | Rewrite website generator script in Python | Jack Lloyd | 2017-09-28 | 1 | -0/+141 |