diff options
| author | Robin Haberkorn <rhaberkorn@fmsbw.de> | 2026-07-21 20:17:21 +0200 |
|---|---|---|
| committer | Robin Haberkorn <rhaberkorn@fmsbw.de> | 2026-07-21 20:17:21 +0200 |
| commit | 70443a91395bc3e150d54e93d994ee7ac8249d71 (patch) | |
| tree | 2cd2daea079003964cae58d03c67d55caa2a8707 /fallback.teco_ini | |
| parent | 064307df0c2d635b1805a0f59f694f9ec103e96a (diff) | |
`make check` doesn't have to build documentation first
Building documentation is slow, so this speeds up
development-test cycles.
Diffstat (limited to 'fallback.teco_ini')
0 files changed, 0 insertions, 0 deletions