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.


Wrapper for console [help + room for future expansion]
authorPeter Dinda <pdinda@northwestern.edu>
Sun, 25 Mar 2012 21:09:29 +0000 (16:09 -0500)
committerPeter Dinda <pdinda@northwestern.edu>
Sun, 25 Mar 2012 21:09:29 +0000 (16:09 -0500)
commit038a577ce9dbd92a18a7a475fd82cf103be378b1
tree0692a9ddc9eceee68ea81e15fe9ce492350c056c
parent3e2eedc35f778c99cf0dd99f03dd9d78ba731041
Wrapper for console [help + room for future expansion]
linux_usr/v3_console [new file with mode: 0755]