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, 24 Sep 2008 23:05:06 +0000 (18:05 -0500)
committerJack Lange <jarusl@cs.northwestern.edu>
Wed, 24 Sep 2008 23:05:06 +0000 (18:05 -0500)
commita01f6fd0fbf4b990cb72c39039904f79beed69f2
treef5db3fca2f6723fab11444f9e1ca9d028ceac510
parentde1c21abf704aefa449c920d16a8ab81bb1c7b0a
parent7e9c4a2500be1daac3231eb9fee999f426b8ba9a
Merge branch 'devel' of ssh://palacios@newskysaw.cs.northwestern.edu/home/palacios/palacios into devel

Conflicts:
CODING_GUIDELINES