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.


A bit of cleanup
authorPeter Dinda <pdinda@northwestern.edu>
Thu, 28 Jan 2010 01:22:18 +0000 (19:22 -0600)
committerPeter Dinda <pdinda@northwestern.edu>
Thu, 28 Jan 2010 01:22:18 +0000 (19:22 -0600)
commitfae3d4b2dab80486bc3e3617f65e603d26b45954
tree2f49034b56762766877fc26f961fc47ddcdddac3
parent04236f049de6836d7b0d9fc5127565c137911d17
A bit of cleanup
README [new file with mode: 0644]
manual.pdf [new file with mode: 0644]
scripts/SETUP_DEV_ENV.pl [moved from SETUP_DEV_ENV.pl with 100% similarity]