aboutsummaryrefslogtreecommitdiff
path: root/jobs/sicp-acl2.develop.run
blob: 68ad9df9bc884938cbe6e4cdc01953679600f9ea (about) (plain)
1
./sicp-acl2.run