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, 6 Feb 2013 18:29:00 +0000 (11:29 -0700)
committerPatrick G. Bridges <bridges@cs.unm.edu>
Wed, 6 Feb 2013 18:29:00 +0000 (11:29 -0700)
commita1e79c2d8ac8ae6ee326c207a83562e7de025ef8
tree3079a25e901827df506020a7dcd5d706708236a9
parentd246b438e25ec84d0c8a578bde55d19e8d9f811e
parenta47bf8387bc195230e95edb4b0c9ffb81e50ac9f
Merge branch 'devel' of ssh://newskysaw.cs.northwestern.edu/home/palacios/palacios into devel