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>
Thu, 27 Oct 2011 17:03:34 +0000 (11:03 -0600)
committerPatrick G. Bridges <bridges@cs.unm.edu>
Thu, 27 Oct 2011 17:03:34 +0000 (11:03 -0600)
commita31d0f3c2219f3f9d2236f88562c622790cdf63b
tree7d83674be697062366077ab7b8b264d2798e9603
parent83272501e14136a118078b7bcce8d6635beaac29
parent3c6a3b61c1fbd76c55c63440276d21fa8e79ab16
Merge branch 'devel' of ssh://newskysaw.cs.northwestern.edu/home/palacios/palacios into devel