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...
authorLei Xia <lxia@northwestern.edu>
Tue, 3 Feb 2009 22:09:59 +0000 (16:09 -0600)
committerLei Xia <lxia@northwestern.edu>
Tue, 3 Feb 2009 22:09:59 +0000 (16:09 -0600)
commit427424e8db42ca592805f79d3ca673d50ab51ad9
treef50296c22be219a60a2943be889f0734e55e023b
parent3e2c1876fc0d3049514ce1c82c6da217f28380a8
parent5dba37e6d7ff831c2b2239851701a83d21956645
Merge branch 'devel' of ssh://palacios@newskysaw.cs.northwestern.edu/home/palacios/palacios into devel
palacios/build/Makefile