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.


*** empty log message ***
authorJack Lange <jarusl@cs.northwestern.edu>
Tue, 16 Sep 2008 21:54:11 +0000 (21:54 +0000)
committerJack Lange <jarusl@cs.northwestern.edu>
Tue, 16 Sep 2008 21:54:11 +0000 (21:54 +0000)
commit65bb8c626cd9f5d540ead53ed5125da0c21fefe1
tree1b2360504e6cf26b2374e7c6eb8ab1f55caf2d0e
parent844195762a89c83e0ee4d5e8ba070d36470b6a4a
*** empty log message ***
CODING_GUIDELINES