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, 22 Feb 2010 23:51:04 +0000 (17:51 -0600)
committerJack Lange <jarusl@cs.northwestern.edu>
Mon, 22 Feb 2010 23:51:04 +0000 (17:51 -0600)
commitd65fea3393ff34f8d7e9b44f0988166105f38b12
tree7ecdcb6b477de8b8122a6c0ee58e9c5042f5a81d
parent60c7e3ecfc95dc2b6aaa463cc9692dece0f5e591
parenta3b94e316c5aca87f1ea9bb824c2e10833db6da7
Merge branch 'devel' of ssh://palacios@newskysaw.cs.northwestern.edu/home/palacios/palacios into devel