diff options
author | Brian Paul <[email protected]> | 2006-02-28 21:45:09 +0000 |
---|---|---|
committer | Brian Paul <[email protected]> | 2006-02-28 21:45:09 +0000 |
commit | 147f5091a11d1855398f1ef81a5c692489ef9b8f (patch) | |
tree | 9b449c51e2e7f4b68f7221b39e76619eed5a5cd9 /progs | |
parent | 176dac684a65d9140d3f1ce4d3bd4220ff5b653f (diff) |
Allow error checking to look for presence of either of two extensions.
See bug 6070.
Diffstat (limited to 'progs')
0 files changed, 0 insertions, 0 deletions