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: 2d71f28)
update headers
authorJack Lange <jacklange@cs.pitt.edu>
Thu, 25 Aug 2011 23:11:12 +0000 (19:11 -0400)
committerJack Lange <jacklange@cs.pitt.edu>
Fri, 26 Aug 2011 01:24:39 +0000 (21:24 -0400)
commit671c846f9e84346af3ba7a49d32d2fa831b37103
treee57bd9a74bf578eb4349767ace944ce374dc9898tree | snapshot
parent2d71f2803382dcd293d98a81efe1a8dc3a08640fcommit | diff
update headers
linux_module/util-hashtable.c diff | blob | history
Palacios Public Git Repository - Tracks Internal By 30 Minutes