diff options
author | Xavier Leroy <xavierleroy@users.noreply.github.com> | 2017-06-07 19:05:24 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-06-07 19:05:24 +0200 |
commit | e1de6a1c3c5cbf4c6551d3442e3c4e49145709fb (patch) | |
tree | 640e443c8b598fd62ce1cfa7312ce56f8ef9ac42 /VERSION | |
parent | 47f63df0a43209570de224f28cf53da6a758df16 (diff) | |
parent | 8dac286930288a1e7dfa39e030d58cfd5714d8d3 (diff) | |
download | compcert-e1de6a1c3c5cbf4c6551d3442e3c4e49145709fb.tar.gz compcert-e1de6a1c3c5cbf4c6551d3442e3c4e49145709fb.zip |
Merge pull request #185 from letouzey/no-BigNumPrelude
Do not rely on the hints of BigNumPrelude
Diffstat (limited to 'VERSION')
0 files changed, 0 insertions, 0 deletions