aboutsummaryrefslogtreecommitdiff
path: root/doc/.gitignore
diff options
context:
space:
mode:
authorBoris Kolpackov <boris@codesynthesis.com>2024-02-22 10:30:21 +0200
committerBoris Kolpackov <boris@codesynthesis.com>2024-02-22 10:30:21 +0200
commit75cedf46dba58e94b55678dc64bd4f77e23de5cd (patch)
tree2248520c2c9ea41545536c00e3dd258802694aea /doc/.gitignore
parent7459ac30aa69d6fc5a0e0d2a0050b475e7af85d6 (diff)
Diagnose instead of asserting lib{} group with no members
Fixes GH issue #361.
Diffstat (limited to 'doc/.gitignore')
0 files changed, 0 insertions, 0 deletions