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.


Merge branch 'devel'
authorJack Lange <jarusl@cs.northwestern.edu>
Wed, 24 Sep 2008 23:17:27 +0000 (18:17 -0500)
committerJack Lange <jarusl@cs.northwestern.edu>
Wed, 24 Sep 2008 23:17:27 +0000 (18:17 -0500)
commit079f5cbdb29df4d0d48e830b2e214e5b8d73f018
tree1b5937a88b5e5bde0c3bb264d0b70bfdb0e921dd
parent8ce06fc64aa32a93775664769891d172b9036864
parenta01f6fd0fbf4b990cb72c39039904f79beed69f2
Merge branch 'devel'