diff options
author | Julian Andres Klode <jak@debian.org> | 2016-08-29 15:04:51 +0200 |
---|---|---|
committer | Julian Andres Klode <jak@debian.org> | 2016-08-29 15:04:51 +0200 |
commit | 06372c6a4f2bb8812f68c56788e96dc8fa69b3de (patch) | |
tree | beb8215d81f5e225a99012b9e30d3090df9201b1 /vendor | |
parent | 865b46c18e38cab493141e9888eea74ed0d7da21 (diff) |
init: Add Dir::Bin::planners default entry
Apparently we had no default defined for this.
Reported-By: David Kalnischkies
Diffstat (limited to 'vendor')
0 files changed, 0 insertions, 0 deletions