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>
Tue, 3 Aug 2010 19:22:03 +0000 (14:22 -0500)
committerJack Lange <jarusl@cs.northwestern.edu>
Tue, 3 Aug 2010 19:22:03 +0000 (14:22 -0500)
commitdbec4be4d8924ec1f9d8dc99a45b64e0c90e04f8
treea91932400128c4c7b1404bd98c1f09b342b911a6
parent1753dc6b8b9621b4bb996554bd806361a34c5b9f
parentd25220596e7ceb6b06a4b715f722a47afd8b48bb
Merge branch 'devel' of ssh://palacios@newskysaw.cs.northwestern.edu/home/palacios/palacios into devel