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 /build/.gitignore | |
| 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 'build/.gitignore')
0 files changed, 0 insertions, 0 deletions