← Back to branch summary

~ubuntu-branches/ubuntu/raring/acl2/raring-proposed

Viewing all changes in revision 26.

  • Committer: Package Import Robot
  • Author(s): Camm Maguire
  • Date: 2013-01-13 17:54:15 UTC
  • mfrom: (3.1.23 raring)
  • Revision ID: package-import@ubuntu.com-20130113175415-r0uy1o2z70ikaask
Tags: 6.0-2
HOME="/tmp" environment for make DOC

expand all expand all

Show diffs side-by-side

added added

removed removed

Lines of Context: