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.


Additional sanity-checks for guest configuration (v3_config_guest.pl)
authorPeter Dinda <pdinda@northwestern.edu>
Tue, 14 Jan 2014 00:13:08 +0000 (18:13 -0600)
committerPeter Dinda <pdinda@northwestern.edu>
Tue, 14 Jan 2014 00:13:08 +0000 (18:13 -0600)
commit41d8acf598ba74a939848619d0a1490579bc0fe8
treec69d4c1efbd3f8cd015afae1f5b473c22b0fbfba
parent0b2115047303e779be8578e9802cfa55d1767c7b
Additional sanity-checks for guest configuration (v3_config_guest.pl)
v3_config_guest.pl