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.


Minor bugfix
authorPeter Dinda <pdinda@northwestern.edu>
Fri, 19 Jun 2015 15:13:20 +0000 (10:13 -0500)
committerroot <root@v-test-r415-3.localdomain>
Fri, 19 Jun 2015 15:13:20 +0000 (10:13 -0500)
commitf460aeead9da6649a7a75e0f7df3149e62b48f15
tree01338558f7069e08f1f0aa22d9e23270f6fa7f17
parent85d6d460b40c389b0b1b619313d596ab57323829
Minor bugfix
palacios/src/palacios/svm.c