diff options
| author | Kathy Gray | 2015-06-29 14:06:01 +0100 |
|---|---|---|
| committer | Kathy Gray | 2015-06-29 14:06:01 +0100 |
| commit | 2e4be2314249c7c6d6222482cc3a37bef6ffb019 (patch) | |
| tree | 87e144cb6d8874cbd43fdc02d5fefb3db2593278 /src/process_file.mli | |
| parent | 2dc2c065357d488054e77beb29cd26e031a3da98 (diff) | |
Return unknown for a == unknown or unknown == a. Fixes issue #15
Diffstat (limited to 'src/process_file.mli')
0 files changed, 0 insertions, 0 deletions