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 code formatting utilities
authorJack Lange <jarusl@cs.northwestern.edu>
Wed, 7 Jul 2010 23:15:38 +0000 (18:15 -0500)
committerJack Lange <jarusl@cs.northwestern.edu>
Thu, 29 Jul 2010 17:56:21 +0000 (12:56 -0500)
commit4e1e9d7e2e0f854d9591ea8088b9c9db38661303
treed1c91b123000a0f420f527b5e5ca1a6285bae4db
parent32c76af496b981656d6976d95ba26e05c1b73bf7
added code formatting utilities
utils/format/astyle_1.24_linux.tar.gz [new file with mode: 0644]
utils/format/astyle_cmd [new file with mode: 0644]
utils/format/bin/astyle [new file with mode: 0755]
utils/format/indent_cmd [new file with mode: 0644]