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, 4 Feb 2010 21:31:29 +0000 (15:31 -0600)
committerJack Lange <jarusl@cs.northwestern.edu>
Thu, 4 Feb 2010 21:31:29 +0000 (15:31 -0600)
commita4c7f87b59a075599fb3b9be0868938100ab147a
treed4f912a405a2a91239dbaaaf27b13036fdb4f29e
parent926e4e742c02e6f1255c8da243494c8bbddbf752
parent5cd68171f8b458fb786ef346078804a67c789b9b
Merge branch 'devel' of ssh://palacios@newskysaw.cs.northwestern.edu/home/palacios/palacios into devel