~jgross-h/coq/v8.2

Viewing all changes in revision 10122.

  • Committer: Hugo Herbelin
  • Date: 2015-11-26 08:01:37 UTC
  • Revision ID: git-v1:bed0962407f99e76460faa76c3dd113c49091946
Compatibility MacOS in hostname. Reported by Benjamin.

expand all expand all

Show diffs side-by-side

added added

removed removed

Lines of Context: