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' of ssh://palacios@newskysaw//home/palacios/palacios into devel
authorJack Lange <jarusl@cs.northwestern.edu>
Tue, 11 Aug 2009 21:49:11 +0000 (16:49 -0500)
committerJack Lange <jarusl@cs.northwestern.edu>
Tue, 11 Aug 2009 21:49:11 +0000 (16:49 -0500)
commit0930d4dd369926196379a19abd04135f73df40c9
tree2577d80e38794338c6fd57edb4762f1d1966ddda
parente03d97f01158ab87a941e1eac394e68643fd7194
parent8ddb560ffbaa333313659a52542e4ba1bcd10a3b
Merge branch 'devel' of ssh://palacios@newskysaw//home/palacios/palacios into devel