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, 26 May 2009 22:13:40 +0000 (17:13 -0500)
committerJack Lange <jarusl@cs.northwestern.edu>
Tue, 26 May 2009 22:13:40 +0000 (17:13 -0500)
commit730f079d12b4a7f7786fe059dc964f71107c6af0
tree636c980263b81efcf6cdda7c598a558ab5945218
parent86fb0d26700ecdd5967013c43d70a5e77f2d0a7c
parent049bd4b28dffd450db3b0facefb992909dc0e9dc
Merge branch 'devel' of ssh://palacios@newskysaw.cs.northwestern.edu/home/palacios/palacios into devel