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 updates
authorJack Lange <jarusl@cs.northwestern.edu>
Wed, 18 Mar 2009 00:18:10 +0000 (19:18 -0500)
committerJack Lange <jarusl@cs.northwestern.edu>
Wed, 18 Mar 2009 00:18:10 +0000 (19:18 -0500)
commitcc6a2b14d3fdebb1c705b251e8818fa401786956
tree06c6f6891267f468edd36705416e0539c4c01024
parenta7a9ab28db2ca417f93f5f974088a4d8229d2271
format updates
palacios/src/palacios/svm_io.c