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 ***
authorJack Lange <jarusl@cs.northwestern.edu>
Tue, 26 Feb 2008 23:53:23 +0000 (23:53 +0000)
committerJack Lange <jarusl@cs.northwestern.edu>
Tue, 26 Feb 2008 23:53:23 +0000 (23:53 +0000)
commit215bab8fd418e28fa454b784bb5c25b0d29544a6
tree698903a8304bce6eef75c23454de0742dc53bdd3
parent4d691866d964c028d2b2ca96c2d16489d45dd2b5
*** empty log message ***
SETUP_DEV_ENV.pl