aboutsummaryrefslogtreecommitdiff
path: root/INSTALL
diff options
context:
space:
mode:
authorBoris Kolpackov <boris@codesynthesis.com>2021-08-26 11:40:35 +0200
committerBoris Kolpackov <boris@codesynthesis.com>2021-08-26 11:40:35 +0200
commit5b84b34eb1c4c49607a0d14706b15a6923f1ab0c (patch)
treea17fc8d975695fee597d71053ad4cb230a54be33 /INSTALL
parent17341bc0fdd23617e3f2e81b0228ff9ecc5cb194 (diff)
Print diagnostics about empty configurations after "in configuration ...:"
In particular, this makes sure they are separated with blank lines.
Diffstat (limited to 'INSTALL')
0 files changed, 0 insertions, 0 deletions