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 palacios@newskysaw.cs.northwestern.edu:/home/palacios/palacio...
authorLei Xia <lxia@northwestern.edu>
Wed, 10 Nov 2010 19:07:46 +0000 (13:07 -0600)
committerLei Xia <lxia@northwestern.edu>
Wed, 10 Nov 2010 19:07:46 +0000 (13:07 -0600)
commit6cef10632e596804cc56b32d78b6983db9246a8a
tree61e160c78033090f0af17184bf73026700c2cb49
parent952498181433011a4165387d77698792c1ed3e55
parent3a0ee76fe3accce60ae161615cadc6e56cac008b
Merge branch 'devel' of palacios@newskysaw.cs.northwestern.edu:/home/palacios/palacios into devel