diff options
| author | Miles Bader <miles@gnu.org> | 1997-02-20 02:28:06 +0000 |
|---|---|---|
| committer | Miles Bader <miles@gnu.org> | 1997-02-20 02:28:06 +0000 |
| commit | f265a76cb4d51974fc185d43053f691c0b2b0d07 (patch) | |
| tree | 0d84a282423333a01387f32525a3a9f00e020c73 /Makeconf | |
| parent | 83173056581256944fa4f7ac1105f4fdf523326f (diff) | |
(dev_set_flags):
Correctly check for unenforcable runs.
Diffstat (limited to 'Makeconf')
0 files changed, 0 insertions, 0 deletions