diff options
author | Alex Biehl <alexbiehl@gmail.com> | 2017-06-23 18:30:45 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-06-23 18:30:45 +0200 |
commit | 2d919a367139482cd76398ca1e90dff6f5427779 (patch) | |
tree | 40a7faef20a633d831d8e098f02c2b6bfbfe61c0 /haddock-api/src/haddock.sh | |
parent | cf7addb983bd2079b221199f8ec09c8edaeb8956 (diff) |
Don't include names with empty subordinates in maps (#644)
These are unecessary anyway and just blow up interface size
Diffstat (limited to 'haddock-api/src/haddock.sh')
0 files changed, 0 insertions, 0 deletions