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.


squashed debug messages
authorJack Lange <jarusl@cs.northwestern.edu>
Mon, 16 Mar 2009 23:47:18 +0000 (18:47 -0500)
committerJack Lange <jarusl@cs.northwestern.edu>
Mon, 16 Mar 2009 23:47:18 +0000 (18:47 -0500)
commitaf7fc8afd1fe80621923faa0c065c0ae89f768ac
treeea37830ec476ae89be38cb4b941b643e352c8f59
parentd4101540fb62c0459cacca0b3b8299e7ada91306
squashed debug messages
palacios/src/palacios/svm_handler.c