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, 22 Sep 2011 18:55:56 +0000 (12:55 -0600)
committerPatrick G. Bridges <bridges@cs.unm.edu>
Thu, 22 Sep 2011 18:55:56 +0000 (12:55 -0600)
commitd8354e61f6346351f731e70e733841a37115d2cd
treef56dc8acb1be8b99377d485c0961122bca7198b3
parent1a931ca854492fce5ea04d7566829f54a0d462cc
parent19e2f19123792a79255a0a0cd95b16f36fac023c
Merge branch 'devel' of ssh://newskysaw.cs.northwestern.edu/home/palacios/palacios into devel