| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Update dependencies and remove --no-init | Yann Herklotz | 2022-01-05 | 1 | -1/+3 |
| | | |||||
| * | Update publish.el with newer dependencies | Yann Herklotz | 2022-01-04 | 1 | -2/+3 |
| | | |||||
| * | Remove link macro | Yann Herklotz | 2022-01-04 | 1 | -7/+1 |
| | | |||||
| * | Add export with broken links | Yann Herklotz | 2021-12-25 | 1 | -1/+2 |
| | | |||||
| * | Add factoring out of documentation | Yann Herklotz | 2021-09-19 | 1 | -0/+8 |
| | | |||||
| * | Remove org-contrib | Yann Herklotz | 2021-09-15 | 1 | -1/+0 |
| | | |||||
| * | Fix github pages | Yann Herklotz | 2021-09-15 | 1 | -1/+0 |
| | | |||||
| * | Add github actions to build website | Yann Herklotz | 2021-01-16 | 1 | -0/+14 |
 |
index : vericert-docs | |
| Documentation for Vericert. |
| aboutsummaryrefslogtreecommitdiffstats |
path: root/publish.el