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.


revert default.xml back to minimal configuration
authorJack Lange <jarusl@cs.northwestern.edu>
Fri, 12 Mar 2010 17:37:07 +0000 (11:37 -0600)
committerJack Lange <jarusl@cs.northwestern.edu>
Fri, 12 Mar 2010 17:37:07 +0000 (11:37 -0600)
commitb110363be5cf108048d00fb15ecdbb76682ce331
treecb518b3b16d4e311ca23a24eace7af60ec99a84f
parent331eb3b042d3456e1eaf33eb9e32606774b715fb
revert default.xml back to minimal configuration
utils/guest_creator/default.xml