1. akrauss
  2. hol-light-workbench

Commits

Author Commit Message Date Builds
krauss
corrected directory name
krauss
oops: actually create "setpaths" file in the workbench root; corrected message
krauss
added README
krauss
.hgignore
krauss
initial version of build script