acl2/acl2 — pull request #265 by ragerdl (2014-10-01 04:46:40+00:00)
Title: No changes

I was experimenting with github in an effort to improve our methodology, and now I need to merge in two changelists that cumulatively result in no change. So, ignore this!