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.


Incorporated changes from the Release 1.2 manual
authorPeter Dinda <pdinda@northwestern.edu>
Thu, 28 Jan 2010 01:16:45 +0000 (19:16 -0600)
committerPeter Dinda <pdinda@northwestern.edu>
Thu, 28 Jan 2010 01:16:45 +0000 (19:16 -0600)
commita714121877109a317658b7be07eb190bfc78c7df
treefdc77e9cec93b52a5a373888f3dc3a93e14336b2
parente9e4727e53e06ffa2ea7de1b5c1844631af9df5c
Incorporated changes from the Release 1.2 manual
manual/manual.tex