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.


cleanup
authorJack Lange <jarusl@cs.northwestern.edu>
Wed, 24 Sep 2008 22:24:26 +0000 (17:24 -0500)
committerJack Lange <jarusl@cs.northwestern.edu>
Wed, 24 Sep 2008 22:24:26 +0000 (17:24 -0500)
commit210cba2ba13af69f0e72a80b08a2debb7acf6d9f
tree2eb1d75ccf9f2d6c5224ea4d52556d2e49c891cb
parent75879e152aa82ee176b404f5b402d184ba38c7aa
cleanup
CODING_GUIDELINES