diff options
| author | Hugo Herbelin | 2016-09-13 22:12:35 +0200 |
|---|---|---|
| committer | Hugo Herbelin | 2017-03-03 09:51:33 +0100 |
| commit | d8f42feb4f4e6c4e062678e256499e03454c7ab2 (patch) | |
| tree | 66049d9a8dbe72a01132d4c6ecdd66ad5d2a6f1d /dev/base_include | |
| parent | 1682d4ed9df64937dfaa162e58233020036ff7b3 (diff) | |
Compatibility of iff wrt not and imp.
This completes the series and cannot hurt.
Diffstat (limited to 'dev/base_include')
0 files changed, 0 insertions, 0 deletions