diff options
author | Samuel Mimram <samuel.mimram@ens-lyon.org> | 2004-07-18 13:53:34 +0000 |
---|---|---|
committer | Samuel Mimram <samuel.mimram@ens-lyon.org> | 2004-07-18 13:53:34 +0000 |
commit | 5d9fa80010162806e5157dfe8db58fe0b2b6d7bf (patch) | |
tree | d4a3fe6718cc9550f92fb3d4ed49ff64bb7f1e7d /theories/Relations | |
parent | 2f100c8cddd5b81aa26fc5db565e28b8e6c12713 (diff) |
Opt with fallback on byte should work now.
Diffstat (limited to 'theories/Relations')
0 files changed, 0 insertions, 0 deletions