diff options
| author | Árni Dagur <arni@dagur.eu> | 2020-09-22 05:23:40 +0000 |
|---|---|---|
| committer | Árni Dagur <arni@dagur.eu> | 2020-09-22 05:23:40 +0000 |
| commit | 743d08b7311cf973f3930d650f773916fa81eca4 (patch) | |
| tree | 9eec483fac6be9a5b72dcaa19000781495f5d1c5 /.gitignore | |
| parent | a0b715e146ab3cd5aad428955be45eed1671545f (diff) | |
CI: Only build documentation on push
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions