Palacios Public Git Repository

To checkout Palacios execute

  git clone http://v3vee.org/palacios/palacios.web/palacios.git
This will give you the master branch. You probably want the devel branch or one of the release branches. To switch to the devel branch, simply execute
  cd palacios
  git checkout --track -b devel origin/devel
The other branches are similar.


removed superfulous build documentation
authorJack Lange <jarusl@cs.northwestern.edu>
Fri, 1 May 2009 19:44:38 +0000 (14:44 -0500)
committerJack Lange <jarusl@cs.northwestern.edu>
Fri, 1 May 2009 19:44:38 +0000 (14:44 -0500)
commit54422ed2a539195fca95bc065627d38f0dfbda34
tree9f85db914c5bb15a88b6ef30efa7ee52014cace1
parent7d04da01ea9d82e0bd1f38cd5eb07367f033a087
removed superfulous build documentation
build/Makefile.MASTER.BACKUP [deleted file]
build/RunPuppy.sh [deleted file]
build/RunXP.sh [deleted file]