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.


test2
authorJack Lange <jarusl@cs.northwestern.edu>
Mon, 22 Sep 2008 18:29:45 +0000 (13:29 -0500)
committerJack Lange <jarusl@cs.northwestern.edu>
Mon, 22 Sep 2008 18:29:45 +0000 (13:29 -0500)
commit3431fc597831588bbebd8a3936b0a1dab9a4b43a
treee5cf0922dd3cba059e3c54d7d7b9d37ec7bd1b7f
parenta0948840c3cfe0a15d4fe04d149ca45d70354b05
test2
CODING_GUIDELINES