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.


reorganized things, pasted in old text
authorJack Lange <jarusl@cs.northwestern.edu>
Fri, 27 Feb 2009 20:55:59 +0000 (14:55 -0600)
committerJack Lange <jarusl@cs.northwestern.edu>
Fri, 27 Feb 2009 20:55:59 +0000 (14:55 -0600)
commit0c6100cc41d0f94332a32ed47ca437d85a5352d5
tree1505aaec32ef14c6e3d780d099b256ca4586fee1
parentda603499288364b61312d8d9d3a560bab165a9d7
reorganized things, pasted in old text
manual/Makefile
manual/manual.tex [new file with mode: 0755]
manual/paper.log [deleted file]
manual/paper.tex [deleted file]