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.


cleaned up Palacios Makefile
authorJack Lange <jarusl@cs.northwestern.edu>
Fri, 1 May 2009 20:38:27 +0000 (15:38 -0500)
committerJack Lange <jarusl@cs.northwestern.edu>
Fri, 1 May 2009 20:38:27 +0000 (15:38 -0500)
commitb8f6183dad926e051fb7dd10835cff2318993b17
tree4bf862632847b6f9856124edd3638f966a8d08ca
parent496baac27d9fed16ec328d4a3fd1ee557d4c9575
cleaned up Palacios Makefile
palacios/build/Makefile