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 coding guidelines
authorJack Lange <jarusl@cs.northwestern.edu>
Tue, 22 Jul 2008 21:06:38 +0000 (21:06 +0000)
committerJack Lange <jarusl@cs.northwestern.edu>
Tue, 22 Jul 2008 21:06:38 +0000 (21:06 +0000)
commite494ee9fb669dc19d1e068077e5d449de622d96e
tree46694fd3caaadd11be39b25f21cdb7fb32db7ff6
parent6c28cc8753bb0e1b17b5c6c2ee296eb60e09079c
added coding guidelines
CODING_GUIDELINES [new file with mode: 0644]