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: c7b15c9)
minor documentation fix
authorJack Lange <jarusl@cs.northwestern.edu>
Mon, 22 Sep 2008 19:22:54 +0000 (14:22 -0500)
committerJack Lange <jarusl@cs.northwestern.edu>
Mon, 22 Sep 2008 19:22:54 +0000 (14:22 -0500)
commit28c2d889ecc7d9cc19e3753135f4286d8899e063
tree723aed6f114560639a08ef6bb6312ccaf1fb1799tree | snapshot
parentc7b15c91d980aec4f9968ece7a4fbdd29c669b87commit | diff
minor documentation fix
palacios/build/NOTES-QEMU.TXT diff | blob | history
Palacios Public Git Repository - Tracks Internal By 30 Minutes