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.


format change
authorJack Lange <jarusl@cs.northwestern.edu>
Fri, 6 Feb 2009 06:20:37 +0000 (00:20 -0600)
committerJack Lange <jarusl@cs.northwestern.edu>
Fri, 6 Feb 2009 06:20:37 +0000 (00:20 -0600)
commit182ea639d7389d7e7e660055a4c460bf8a712ecf
tree5d8e40185ab5cef63ce27ef13de3cc9cd321899d
parent757000c47f1ce82cba12d1a9a06cd3b5e8b0b505
format change
palacios/src/palacios/svm.c