← Back to branch summary

~jgross-h/coq/v8.2

Viewing all changes in revision 10135.

  • Committer: Hugo Herbelin
  • Date: 2017-12-27 21:39:35 UTC
  • Revision ID: git-v1:bb66130527a2f2703df04522999e698eb3776920
Fixing test for compilation under MacOS X pentium.

expand all expand all

Show diffs side-by-side

added added

removed removed

Lines of Context: