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.


test
authorJack Lange <jarusl@cs.northwestern.edu>
Wed, 24 Sep 2008 22:47:52 +0000 (17:47 -0500)
committerJack Lange <jarusl@cs.northwestern.edu>
Wed, 24 Sep 2008 22:47:52 +0000 (17:47 -0500)
commita1151038b54cf70e75a6727c0c860e3af357495d
tree95c7dd6c341641e60ffd66fede9fadddd05a97b4
parent3a809d2fb1c916316608949c2e36b3bdb70f1dbb
test
LICENSE