diff options
| author | Florian Dold <florian@dold.me> | 2021-01-05 11:16:27 +0100 |
|---|---|---|
| committer | Florian Dold <florian@dold.me> | 2021-01-05 11:16:38 +0100 |
| commit | 792d1f5f207dac31cb0b648e66970442933039c9 (patch) | |
| tree | e73b13f0af03096efed87e766b32a616adb75415 /doc/paper | |
| parent | aaeadf1598baf7b2193d03b17c73dcd8956dc9cb (diff) | |
Revert "always and only build docs"
This reverts commit cdda3d34a3a3b8133a90d934707bf9065fd4471f.
Diffstat (limited to 'doc/paper')
0 files changed, 0 insertions, 0 deletions