acl2/acl2 — pull request #232 by ragerdl (2014-09-13 00:48:17+00:00)
Title: Making Jenkins build scripts use startjob.  Also committing example star...

...tjob file.