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, 10 Feb 2009 03:48:23 +0000 (21:48 -0600)
committerJack Lange <jarusl@cs.northwestern.edu>
Tue, 10 Feb 2009 03:48:23 +0000 (21:48 -0600)
commitb9ca57b66e54e56a6f3683f9d1fc47168b9c0a14
treecb5fcc2d94d677ce8895c3b7f7b51eafd32169e0
parente0519b6111165e0d99987d7f852875366c41bfd9
parent50b2cfeb17c210c307b380fd90ae7e82c7d144ca
Merge branch 'devel' of ssh://palacios@newskysaw.cs.northwestern.edu/home/palacios/palacios into devel