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 of changes from pull
authorPatrick G. Bridges <bridges@cs.unm.edu>
Sun, 6 Mar 2011 22:56:23 +0000 (16:56 -0600)
committerPatrick G. Bridges <bridges@cs.unm.edu>
Sun, 6 Mar 2011 22:56:23 +0000 (16:56 -0600)
commitb650a788fd1a43d34554af1acbabc41ad0323a19
tree057475027bc2406bace7521ad03856195ed5b3d6
parent0095b7c8d0a2912138da589a6b538288b42f0bb3
parent847838d7621455a02df5d657914d7da163718234
Merge of changes from pull