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.


added Iso Run file
authorJack Lange <jarusl@cs.northwestern.edu>
Mon, 13 Oct 2008 15:51:42 +0000 (10:51 -0500)
committerJack Lange <jarusl@cs.northwestern.edu>
Mon, 13 Oct 2008 15:51:42 +0000 (10:51 -0500)
commit882463476aef0829d0f73f417dfb64644fd4213c
tree60ca9aca238ec4a3c52d551415358e361e35c345
parent1e9b1f02c9d9e59ecdca1b5aa3d31129cb20dc49
added Iso Run file
build/RunIso.sh [new file with mode: 0755]