~ezyang/coq/trunk-packaging-precise

Viewing all changes in revision 274.

  • Committer: Edward Z. Yang
  • Date: 2014-04-03 06:32:45 UTC
  • Revision ID: git-v1:4b647a5da31e6c56b8ec92bb4e3e6c6526ebe8f1
Fix configure as per c734ccd8081e52ee5576d0efac9b065d4f37f7d5

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: