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.git / commit
? search: re
summary | shortlog | log | commit | commitdiff | tree
(parent: 504a6fd)
fixed merge error
authorJack Lange <jacklange@cs.pitt.edu>
Fri, 16 Sep 2011 23:30:23 +0000 (19:30 -0400)
committerJack Lange <jacklange@cs.pitt.edu>
Fri, 16 Sep 2011 23:30:23 +0000 (19:30 -0400)
commit7b65dde682be91eaf30932302dcd998e9681c2c3
tree1cf70649e17dd5318bca0aa36a46322f2d7f9a47tree | snapshot
parent504a6fd3bf01d7299ec69f80d5117dea3014ea28commit | diff
fixed merge error
linux_module/iface-console.c diff | blob | history
Public Palacios Development Repository for the V3VEE Project