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.


Merge branch 'devel' of ssh://newskysaw.cs.northwestern.edu/home/palacios/palacios...
authorPatrick G. Bridges <bridges@cs.unm.edu>
Fri, 11 Nov 2011 18:42:55 +0000 (11:42 -0700)
committerPatrick G. Bridges <bridges@cs.unm.edu>
Fri, 11 Nov 2011 18:42:55 +0000 (11:42 -0700)
commit4a87564dd627efc2fa0b15044ebd16b98cc0009a
tree5f7a6bc5a0db95d22b07f454d2f0d17922a623d9
parentc3e451f106e9594b46d7c3dd3c4fdd610d7a2c03
parent6d9bc1787b5e409bb37a40f09c16cd8e66934491
Merge branch 'devel' of ssh://newskysaw.cs.northwestern.edu/home/palacios/palacios into devel