diff options
author | Heiko Schlittermann (HS12-RIPE) <hs@schlittermann.de> | 2015-11-12 12:20:59 +0100 |
---|---|---|
committer | Heiko Schlittermann (HS12-RIPE) <hs@schlittermann.de> | 2015-11-12 22:46:51 +0100 |
commit | 44f6c01d79710b030a8a73c25fe9620b41c8b0e4 (patch) | |
tree | 675da41270270678b43cbea1022337ce2637af59 /src/CONTRIBUTING | |
parent | bf3c2c6b76cf8cf582dc2c33bd3d50cd4db25e2c (diff) |
Add -bP config_file
The -bP configure_file is still supported, but should fade out
eventually. config_file matches better the expansion $config_file.
Diffstat (limited to 'src/CONTRIBUTING')
0 files changed, 0 insertions, 0 deletions