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, 28 Oct 2011 16:13:15 +0000 (10:13 -0600)
committerPatrick G. Bridges <bridges@cs.unm.edu>
Fri, 28 Oct 2011 16:13:15 +0000 (10:13 -0600)
commitd71b19cdb18342f2b761f6d9aac7ec175486e1ba
treef6c2af93ff456f2877809101f178a6abeef5925d
parent95b1b11f48e19834fca26e87f594d6794f1c6d55
parent71339a5a1f4efa93438ab9ab78e1317034b84da6
Merge branch 'devel' of ssh://newskysaw.cs.northwestern.edu/home/palacios/palacios into devel