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>
Tue, 18 Oct 2011 14:49:15 +0000 (08:49 -0600)
committerPatrick G. Bridges <bridges@cs.unm.edu>
Tue, 18 Oct 2011 14:49:15 +0000 (08:49 -0600)
commitafd094814f0380b442515f7a58eb00e7ac98a3b1
treef41e57b5868dd9d05c28e414d89a056b1a4d2666
parent281d544b5352321631fb51c394e1ae0a9680b752
parent83942e281e4e17d6eb296d343094578dc50b3b0b
Merge branch 'devel' of ssh://newskysaw.cs.northwestern.edu/home/palacios/palacios into devel