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>
Sun, 26 Apr 2009 18:59:35 +0000 (13:59 -0500)
committerJack Lange <jarusl@cs.northwestern.edu>
Sun, 26 Apr 2009 18:59:35 +0000 (13:59 -0500)
commita7fdd38a2b32e029d6493ab6781838b52030bcdf
tree9f9b1e20ff677524c33d2891260f6e3cbc23fc4e
parent29e825c5f095066bbb5ebbec5a5af1419d883264
parentf597edac06c3c26abcc9611a8e5b14ceba455378
Merge branch 'devel' of ssh://palacios@newskysaw.cs.northwestern.edu/home/palacios/palacios into devel