diff options
author | Boris Kolpackov <boris@codesynthesis.com> | 2021-08-26 11:40:35 +0200 |
---|---|---|
committer | Boris Kolpackov <boris@codesynthesis.com> | 2021-08-26 11:40:35 +0200 |
commit | 5b84b34eb1c4c49607a0d14706b15a6923f1ab0c (patch) | |
tree | a17fc8d975695fee597d71053ad4cb230a54be33 /doc/doc.html2ps | |
parent | 17341bc0fdd23617e3f2e81b0228ff9ecc5cb194 (diff) |
Print diagnostics about empty configurations after "in configuration ...:"
In particular, this makes sure they are separated with blank lines.
Diffstat (limited to 'doc/doc.html2ps')
0 files changed, 0 insertions, 0 deletions