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://palacios@newskysaw.cs.northwestern.edu/home/palacios...
authorJack Lange <jarusl@cs.northwestern.edu>
Thu, 29 Jul 2010 17:57:42 +0000 (12:57 -0500)
committerJack Lange <jarusl@cs.northwestern.edu>
Thu, 29 Jul 2010 17:57:42 +0000 (12:57 -0500)
commit1753dc6b8b9621b4bb996554bd806361a34c5b9f
tree25fd64386df2d823fd8ebfe26554dbf1cb250b13
parent4e1e9d7e2e0f854d9591ea8088b9c9db38661303
parent6a686aa0cf80126e77d4f0f3a0eb882a7d302ae0
Merge branch 'devel' of ssh://palacios@newskysaw.cs.northwestern.edu/home/palacios/palacios into devel