Commit Graph
1 Commits
Author SHA1 Message Date
Guido Günther 708abf1e4a debian: Fix nodoc build
Don't try to install the dev docs in that case.
2023-09-01 13:06:08 +02:00