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.

projects / palacios.git / commit
? search: re
summary | shortlog | log | commit | commitdiff | tree
(parent: 24a5ce6)
remove optimizations from build process
authorJack Lange <jacklange@cs.pitt.edu>
Fri, 26 Aug 2011 01:38:14 +0000 (21:38 -0400)
committerJack Lange <jacklange@cs.pitt.edu>
Fri, 26 Aug 2011 01:38:14 +0000 (21:38 -0400)
commit59be2ab5617c01a10c9bc1aa7018c0ba43b38b1d
tree3201ed6d437bd548f8b8228ad31a66acf0b523adtree | snapshot
parent24a5ce6f1a5f692c6f25bb14068c1a8549a16ac2commit | diff
remove optimizations from build process
Makefile diff | blob | history
Public Palacios Development Repository for the V3VEE Project