diff options
| author | P. J. McDermott <pjm@nac.net> | 2012-10-08 18:17:28 (EDT) |
|---|---|---|
| committer | P. J. McDermott <pjm@nac.net> | 2012-10-08 18:33:15 (EDT) |
| commit | c955d291ab89b0b577179f914a297418c5ecdb62 (patch) | |
| tree | 280090c43d195670401df6e0b24ebf7f30c2c02e /src/ob-installplatconf.sh | |
| parent | 8fe4bffb3301189d5425ee57cd49264a30b55ca3 (diff) | |
Sanitize option names in configure.
Diffstat (limited to 'src/ob-installplatconf.sh')
0 files changed, 0 insertions, 0 deletions