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.


changed to error output
authorJack Lange <jarusl@cs.northwestern.edu>
Wed, 4 Feb 2009 04:29:29 +0000 (22:29 -0600)
committerJack Lange <jarusl@cs.northwestern.edu>
Wed, 4 Feb 2009 04:29:29 +0000 (22:29 -0600)
commitbce4e326ef3e3e9f9a0bd2fd06254c0d8edb8437
treece1449c81b4752114bedb0cc944c43c343d5b3e6
parent99681a48f662b5a8371f20b255b3789012d2a9fa
changed to error output
palacios/src/palacios/svm.c
palacios/src/palacios/svm_handler.c