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://newskysaw.cs.northwestern.edu/home/palacios/palacios...
authorPatrick G. Bridges <bridges@cs.unm.edu>
Wed, 23 May 2012 16:22:48 +0000 (10:22 -0600)
committerPatrick G. Bridges <bridges@cs.unm.edu>
Wed, 23 May 2012 16:22:48 +0000 (10:22 -0600)
commite26e31126af42ae39fa03e5e132fcdf9c2e9a8b2
tree38d3389a047f191a5613895056c6f76242ccf13c
parent22d574d818e8cdcf63a054915e4cbaec07a2b533
parentdd60e1fd40cdf258bd988239c5dcda8861a5bbb5
Merge branch 'devel' of ssh://newskysaw.cs.northwestern.edu/home/palacios/palacios into devel