diff options
| author | P. J. McDermott <pjm@nac.net> | 2012-10-20 16:58:58 (EDT) |
|---|---|---|
| committer | P. J. McDermott <pjm@nac.net> | 2012-10-20 16:59:56 (EDT) |
| commit | 1a52b320444397bfa464184d1779524456925340 (patch) | |
| tree | 1934101f7fe3dd56b6220ee1292b9aa9555c1358 /man/Makefile.in | |
| parent | 22fa9d914332bba83a791a368d3c8a920fcd6dcd (diff) | |
Expect >= 1 platconf dirs from ob_get_system_path.
Diffstat (limited to 'man/Makefile.in')
0 files changed, 0 insertions, 0 deletions