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>
Fri, 11 Nov 2011 16:52:12 +0000 (09:52 -0700)
committerPatrick G. Bridges <bridges@cs.unm.edu>
Fri, 11 Nov 2011 16:52:12 +0000 (09:52 -0700)
commit7f5af6dae89572f00563cde3165b87b83c3ed7e4
treea6480a718df97849a0f935fad89e8085e276445f
parentdc41a5e6b7601dcdf9eb2ac84dbf297cac037f5b
parent1fc062adedda3f93f7f95395257a808c7b531fc9
Merge branch 'devel' of ssh://newskysaw.cs.northwestern.edu/home/palacios/palacios into devel