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>
Wed, 3 Feb 2010 01:25:44 +0000 (19:25 -0600)
committerJack Lange <jarusl@cs.northwestern.edu>
Wed, 3 Feb 2010 01:25:44 +0000 (19:25 -0600)
commit21baca3637cb3264e97ebc35c1cabfe197b28bbd
treefa19d5a6774c0b3015f512956ce291303e0f6996
parent48aeb8816a1633ab97dd145289d5d0acd75387bb
parent01d34613a95ac3ee5e82d7ecd03e4f79c98125ef
Merge branch 'devel' of ssh://palacios@newskysaw.cs.northwestern.edu/home/palacios/palacios into devel