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.


*** empty log message ***
authorPeter Dinda <pdinda@northwestern.edu>
Mon, 7 Jul 2008 21:02:38 +0000 (21:02 +0000)
committerPeter Dinda <pdinda@northwestern.edu>
Mon, 7 Jul 2008 21:02:38 +0000 (21:02 +0000)
commit1b41609e86bfc6d0fda9d9d5d9cd11fa93ca1397
tree50a48139dc75c7378364bc99bf7b0a489bd38536
parentbf091be03d4a623fa1a9b3151698a4564a8339ba
*** empty log message ***
RUNNING.LINUX [new file with mode: 0644]
RUNNING.WINDOWS [new file with mode: 0644]
SETUP.LINUX [new file with mode: 0644]
SETUP.WINDOWS [new file with mode: 0644]
SETUP_DEV_ENV.pl