diff options
author | Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2016-04-28 21:17:23 +0200 |
---|---|---|
committer | Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2016-05-14 20:19:16 +0200 |
commit | 1c26b08983f903538992eb1b5605c6ebe29fd175 (patch) | |
tree | 499930f6a56c36ccde0abce379806ba473517dad /theories/Compat | |
parent | 123504209e35b98ac14956ec6950cb7cd8b0089b (diff) |
More hints on how to fix compatibility issues.
Diffstat (limited to 'theories/Compat')
0 files changed, 0 insertions, 0 deletions