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, 7 Oct 2011 15:06:15 +0000 (09:06 -0600)
committerPatrick G. Bridges <bridges@cs.unm.edu>
Fri, 7 Oct 2011 15:06:15 +0000 (09:06 -0600)
commit81361b1fc66eb2ca2e1eb80d3c3b98c6accde9d0
tree444fdbefc4c62a11178574b48c8e9c94c46ec775
parent1943835daca938e18862fd97fe80ad1a062a617c
parent0b342d28c860e4b3911b529f5363d35faa86aa25
Merge branch 'devel' of ssh://newskysaw.cs.northwestern.edu/home/palacios/palacios into devel