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 build env specific makefile
authorJack Lange <jarusl@cs.northwestern.edu>
Wed, 27 Feb 2008 21:59:36 +0000 (21:59 +0000)
committerJack Lange <jarusl@cs.northwestern.edu>
Wed, 27 Feb 2008 21:59:36 +0000 (21:59 +0000)
commit9bc622ccec8595640868ef6f6f9fb112f5215746
treed0d68905732cc6a40cbff47159b1e297fc208cc6
parent8126d0d154dfd37ed7997f4fa78a1c179c4d2c81
added build env specific makefile
palacios/build/Makefile