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>
Mon, 20 Apr 2009 00:56:22 +0000 (19:56 -0500)
committerJack Lange <jarusl@cs.northwestern.edu>
Mon, 20 Apr 2009 00:56:22 +0000 (19:56 -0500)
commitdefcfbf9d03f49b7895ba23ca510782477a3425c
tree78ff30e7a2caa3eefbeec39d0415090a46c1accb
parentc163873b7b96544683030cafba0e73a7ed988171
parentdd7ea495f8177d9594526263440ed67afa8f8e64
Merge branch 'devel' of ssh://palacios@newskysaw.cs.northwestern.edu/home/palacios/palacios into devel