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://palacios@newskysaw.cs.northwestern.edu/home/palacios...
authorPatrick Bridges <bridges@apu.cs.unm.edu>
Mon, 13 Jun 2011 19:07:05 +0000 (13:07 -0600)
committerPatrick Bridges <bridges@apu.cs.unm.edu>
Mon, 13 Jun 2011 19:07:05 +0000 (13:07 -0600)
commitf80c615e1c6794aec94eaa8f00a8ca7a9b55e145
tree41cb7281b6a9c4a0d2b6ed67d789a8744d55c1cb
parent5d67a000f2d9e0043237af7c86eecd034119fe93
parent8dba711bf83570c492cda46f820eb2c5daf2330e
Merge branch 'devel' of ssh://palacios@newskysaw.cs.northwestern.edu/home/palacios/palacios into devel