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