diff options
author | Miles Bader <miles@gnu.org> | 1996-10-22 19:48:51 +0000 |
---|---|---|
committer | Miles Bader <miles@gnu.org> | 1996-10-22 19:48:51 +0000 |
commit | 025514b83724bd4cfc444957132308c6d0675611 (patch) | |
tree | 6dd8293ff1073b6552f1fd92220197f9498a490b /config | |
parent | b550bbbbe09c28b27a322f58684afe673f153c74 (diff) |
(options):
Make -l/--use-lock-file hidden, as we don't support it anyway (we just leave
it here in case someone does implement it, so they'll know the right
option to use for compatibility).
Diffstat (limited to 'config')
0 files changed, 0 insertions, 0 deletions