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.


minor fixes
authorJack Lange <jarusl@cs.northwestern.edu>
Tue, 2 Feb 2010 00:20:44 +0000 (18:20 -0600)
committerJack Lange <jarusl@cs.northwestern.edu>
Tue, 2 Feb 2010 00:20:44 +0000 (18:20 -0600)
commit299cb503215c6cec4d238d189d67375dbf4cb867
tree19e2154bd2d1899d2906746d832aa9f19396313c
parent0ddb124488e721f67118482165a84ac2f00162b6
minor fixes
utils/guest_creator/default.xml