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>
Mon, 17 Aug 2009 21:27:55 +0000 (16:27 -0500)
committerJack Lange <jarusl@cs.northwestern.edu>
Mon, 17 Aug 2009 21:27:55 +0000 (16:27 -0500)
commit0649e72ef137b3c308569dd81e9d4b0ff9eec871
tree4a5cd6ffd8055475e9e3591e2ffb1245c8008e60
parenta536ac8d7eef843551087eaf8788e0a41f2a2c0a
parent7c9087090f06a3fdf041f650912c36b6b12d7a82
Merge branch 'devel' of ssh://palacios@newskysaw.cs.northwestern.edu/home/palacios/palacios into devel