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...
authorJack Lange <jarusl@sojourner.(none)>
Thu, 16 Jun 2011 17:29:38 +0000 (13:29 -0400)
committerJack Lange <jarusl@sojourner.(none)>
Thu, 16 Jun 2011 17:29:38 +0000 (13:29 -0400)
commit380bf85b02152247707551dd9c5293a0a1562713
tree5517d6e33973bf8e67985a32a79b8a454bc2a66d
parent743161062addb38ad8c70c8d84e7ab60325cdb26
parentee7af4a9a90b5f65c0edc2bc904aea992c4678e0
Merge branch 'devel' of ssh://newskysaw.cs.northwestern.edu//home/palacios/palacios into devel