← Back to branch summary

~ezyang/coq/trunk-packaging-precise

Viewing all changes in revision 273.

  • Committer: Edward Z. Yang
  • Date: 2014-04-02 09:24:42 UTC
  • Revision ID: git-v1:e7512ce194a537b2d0825f806dec9ca3fbcf6233
Bump version number.

Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu>

expand all expand all

Show diffs side-by-side

added added

removed removed

Lines of Context: