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, 20 Feb 2013 17:54:05 +0000 (10:54 -0700)
committerPatrick G. Bridges <bridges@cs.unm.edu>
Wed, 20 Feb 2013 17:54:05 +0000 (10:54 -0700)
commita42d26ef7734aadfe5c2062fc3757b2a31af2df6
treeba039acde1044055d824a8877f3747b4545d2d02
parente1ea936272cd584e26b3a2be63d549fafd44e6dd
parent700ce14388ea852b7599b73b0d5a9f94fd873045
Merge branch 'devel' of ssh://newskysaw.cs.northwestern.edu/home/palacios/palacios into devel