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>
Thu, 27 Oct 2011 18:02:24 +0000 (12:02 -0600)
committerPatrick G. Bridges <bridges@cs.unm.edu>
Thu, 27 Oct 2011 18:02:24 +0000 (12:02 -0600)
commitea98f071ad004a040cefbb494733f4f1cb0d75d7
tree1ccd5c1bad480c8469cb2be84dfc36989c08a192
parenta31d0f3c2219f3f9d2236f88562c622790cdf63b
parentf82ccce5ce7629dce6f1a6feee8b47fa13a6756d
Merge branch 'devel' of ssh://newskysaw.cs.northwestern.edu/home/palacios/palacios into devel