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, 2 Mar 2009 17:42:30 +0000 (11:42 -0600)
committerJack Lange <jarusl@cs.northwestern.edu>
Mon, 2 Mar 2009 17:42:30 +0000 (11:42 -0600)
commit52e3c4e629c61e1273c2f48423f6b9c0c1365c85
tree6bb5ab64dba8c372a4a085c1b6aff4ddfc35b30a
parent86d753ff57712faa91d83dfbc89b863947415f93
parentc583c305d980b827d97a1e7eaa374ecd890e4fda
Merge branch 'devel' of ssh://palacios@newskysaw.cs.northwestern.edu/home/palacios/palacios into devel