← Back to branch summary

~jgross-h/coq/v8.5-packaging

Viewing all changes in revision 282.

  • Committer: Jason Gross
  • Date: 2016-08-16 21:32:36 UTC
  • Revision ID: git-v1:7579bf82efd61c5e3d9739bb4d9532f5653c4a5e
Don't check COQ_VERSION for the tip of v8.5

expand all expand all

Show diffs side-by-side

added added

removed removed

Lines of Context: