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 21:01:28 +0000 (15:01 -0600)
committerPatrick G. Bridges <bridges@cs.unm.edu>
Thu, 27 Oct 2011 21:01:28 +0000 (15:01 -0600)
commit95b1b11f48e19834fca26e87f594d6794f1c6d55
tree01e6ec615b035582c831934aa20097dded1e9e6e
parentea98f071ad004a040cefbb494733f4f1cb0d75d7
parentad468ace3ffaac55719923219920d038b3be5844
Merge branch 'devel' of ssh://newskysaw.cs.northwestern.edu/home/palacios/palacios into devel