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 'kitten' of ssh://sharedev@newskysaw.cs.northwestern.edu/home/sharedev...
authorPeter Dinda <pdinda@northwestern.edu>
Tue, 21 Oct 2008 20:10:34 +0000 (15:10 -0500)
committerPeter Dinda <pdinda@northwestern.edu>
Tue, 21 Oct 2008 20:10:34 +0000 (15:10 -0500)
commitfac5e52e6e6f5cb160180c21e1f19c761a7dc88a
treeff56ae8b06d93f13699705521ce88d17a83c1ef5
parent1bb5fea153e1c481b48a5e657a517f80db98d066
parent04212dbde1afc2b21049dbf5e9d388e047f344f7
Merge branch 'kitten' of ssh://sharedev@newskysaw.cs.northwestern.edu/home/sharedev/palacios into kitten