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' into timer_control
authorPatrick G. Bridges <pgbridg@sandia.gov>
Tue, 19 Oct 2010 21:30:59 +0000 (15:30 -0600)
committerPatrick G. Bridges <pgbridg@sandia.gov>
Tue, 19 Oct 2010 21:30:59 +0000 (15:30 -0600)
commit32bc955f315d3cc297c03126eb6a63d6eeda0bc5
tree04159fe391d5c1a3e867a7e8c6d9d9bc5bf6199c
parent5f619642d12e8063583e90c66307c0deba97b056
parentf6ef9d30c8e856f1588d1af55a6d052f266a31b7
Merge branch 'devel' into timer_control