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.


fixed CLGI window
authorJack Lange <jarusl@cs.northwestern.edu>
Sat, 28 Mar 2009 01:56:54 +0000 (20:56 -0500)
committerJack Lange <jarusl@cs.northwestern.edu>
Sat, 28 Mar 2009 01:56:54 +0000 (20:56 -0500)
commit910466ed98c74ba38f3c3301cd25b82d410a73fc
tree9e39f7a1aa2a0f7323075238fa49aea9349892fa
parent52bcd30a848d41e4ad84b237f3f6bec2600da3a9
fixed CLGI window
palacios/src/palacios/svm.c