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.


build fixes for GCC 4.6.0
authorJack Lange <jarusl@cambria.(none)>
Wed, 24 Aug 2011 19:21:51 +0000 (15:21 -0400)
committerJack Lange <jacklange@cs.pitt.edu>
Fri, 26 Aug 2011 01:40:38 +0000 (21:40 -0400)
commitfc840af877d7b069a007fcc1eca88e31f5ec86f6
tree79e985b8a2c1228da74eec76d67c573c11417c9f
parent59be2ab5617c01a10c9bc1aa7018c0ba43b38b1d
build fixes for GCC 4.6.0
Makefile