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 mptable to default.xml
authorPatrick G. Bridges <bridges@cs.unm.edu>
Thu, 27 Oct 2011 16:36:00 +0000 (10:36 -0600)
committerPatrick G. Bridges <bridges@cs.unm.edu>
Thu, 27 Oct 2011 16:36:00 +0000 (10:36 -0600)
commit83272501e14136a118078b7bcce8d6635beaac29
treeaf9492ab91a90e8d03e5fbb89d07dcd443dc4fe1
parente4a9a7d5743f9cec93d1f188b6fb93f0c7ff6f86
Added mptable to default.xml
utils/guest_creator/default.xml