diff options
| author | Miles Bader <miles@gnu.org> | 1995-07-08 17:41:49 +0000 |
|---|---|---|
| committer | Miles Bader <miles@gnu.org> | 1995-07-08 17:41:49 +0000 |
| commit | 39d60d198260aa2135a06087f40a78eb7a3f3189 (patch) | |
| tree | 44bb3a0ce374e6d0ddca9b6959cf6f1935dd89ee /exec | |
| parent | 300538f6f75baeb53910c26a688c79d346a5e351 (diff) | |
Remove include dependencies.
(REMHDRS): New variable.
Diffstat (limited to 'exec')
0 files changed, 0 insertions, 0 deletions