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.


line fix
authorJack Lange <jacklange@cs.pitt.edu>
Sat, 11 Feb 2012 00:35:31 +0000 (19:35 -0500)
committerJack Lange <jacklange@cs.pitt.edu>
Sat, 11 Feb 2012 00:35:31 +0000 (19:35 -0500)
commit644dde98e56da70fdcc35dbcd6d1a66bc6c8ed8f
tree4d046ea9d1b577cfd9adee72064f5e80366ece4e
parentee8feefed3a69f8145b896ac527c4d227516c411
line fix
3RD_PARTY_LICENSES