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.

projects / palacios-OLD.git / commit
? search: re
summary | shortlog | log | commit | commitdiff | tree
(parent: 784bdb0)
Error printed as error instead of debug
authorPeter Dinda <pdinda@northwestern.edu>
Wed, 2 Mar 2011 21:41:39 +0000 (15:41 -0600)
committerPeter Dinda <pdinda@northwestern.edu>
Wed, 2 Mar 2011 21:41:39 +0000 (15:41 -0600)
commita54d166ba28dae8eb26498794bd5e94fc43267a3
tree47edb0674154cb917dbb132291d69ca62052a200tree | snapshot
parent784bdb0320899801d2e9a5ee015e146bc31bdfedcommit | diff
Error printed as error instead of debug
palacios/src/palacios/svm_handler.c diff | blob | history
Palacios Public Git Repository - Tracks Internal By 30 Minutes