diff options
| author | Miles Bader <miles@gnu.org> | 1995-10-19 19:44:53 +0000 |
|---|---|---|
| committer | Miles Bader <miles@gnu.org> | 1995-10-19 19:44:53 +0000 |
| commit | 6208f711eab3fedc51fd677edca0b55aef565fc9 (patch) | |
| tree | 9220ffa2e6d2217b3a45187e1b96f18de032e34a /libdirmgt/dirmgt.h | |
| parent | 4741594bc52c58d3bb009b98ac4d32d10a217f90 (diff) | |
(startup_options): Remove options common to both runtime and startup.
(startup_common_argp, startup_argp_parents): New variables.
(startup_argp): Include parents.
Diffstat (limited to 'libdirmgt/dirmgt.h')
0 files changed, 0 insertions, 0 deletions