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, 17 Feb 2011 18:52:18 +0000 (12:52 -0600)
committerPatrick G. Bridges <bridges@cs.unm.edu>
Thu, 17 Feb 2011 18:52:18 +0000 (12:52 -0600)
commit02c006d3ebc3aabdc2e239e3cffa0d1944491da5
treeeb5c10dde5d275ed06a38540492fea8e3a7fd738
parent89034c39d340e3f6b24a8288ceeb506ddbdf7057
parentf468ffd5b6dc61dcf787abc3920b16d24fe5496a
Merge branch 'devel' of ssh://newskysaw.cs.northwestern.edu/home/palacios/palacios into devel