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>
Fri, 11 May 2012 17:18:21 +0000 (11:18 -0600)
committerPatrick G. Bridges <bridges@cs.unm.edu>
Fri, 11 May 2012 17:18:21 +0000 (11:18 -0600)
commit19d644a56702c93d42ee9596db960e66dc2d02e0
treeb819eb333a3f3ca795d066af7d7df8015e3d17fb
parent1f24e07023a33e1219b822b18ae390c187aef8b0
parent2421b8184fcb5a3960f69b0daa50520978638562
Merge branch 'devel' of ssh://newskysaw.cs.northwestern.edu/home/palacios/palacios into devel