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.


added pdf version of manual
authorJack Lange <jarusl@cs.northwestern.edu>
Tue, 3 Mar 2009 00:32:21 +0000 (18:32 -0600)
committerJack Lange <jarusl@cs.northwestern.edu>
Tue, 3 Mar 2009 00:32:21 +0000 (18:32 -0600)
commit18513ebcb5ec756381225382a63146460eb13d6c
tree568df0a36c59bf48420d09d3f9e4cc99200b61af
parentc583c305d980b827d97a1e7eaa374ecd890e4fda
added pdf version of manual
manual/manual.pdf [new file with mode: 0644]
manual/manual.tex