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.


updated changes to the manual
authorJack Lange <jarusl@cs.northwestern.edu>
Fri, 27 Feb 2009 23:05:39 +0000 (17:05 -0600)
committerJack Lange <jarusl@cs.northwestern.edu>
Fri, 27 Feb 2009 23:05:39 +0000 (17:05 -0600)
commitc7577d6f74e9b6daf0aa9ba08e6d03b81b673cf5
treec5d9317e05478d9ee72db0b015fc8602fc2f4361
parent0c6100cc41d0f94332a32ed47ca437d85a5352d5
updated changes to the manual
manual/dev_chart.eps [new file with mode: 0755]
manual/dev_chart.pdf [new file with mode: 0644]
manual/figs.ppt [new file with mode: 0755]
manual/logo6.png [new file with mode: 0644]
manual/manual.tex