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, 14 Jan 2010 00:28:27 +0000 (18:28 -0600)
committerJack Lange <jarusl@cs.northwestern.edu>
Thu, 14 Jan 2010 00:28:27 +0000 (18:28 -0600)
commitd0dc7def2c570760c062f311eb6fde4b634c0bac
treeb6a621db3f4496d217a0e27e88566a131d7be9ef
parent7277b8aed5bb77dd7366100c4f17009f847e0c02
parent0ddb124488e721f67118482165a84ac2f00162b6
Merge branch 'devel' of ssh://palacios@newskysaw.cs.northwestern.edu/home/palacios/palacios into devel