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.


added logo to source tree
authorJack Lange <jarusl@cs.northwestern.edu>
Fri, 27 Feb 2009 19:29:02 +0000 (13:29 -0600)
committerJack Lange <jarusl@cs.northwestern.edu>
Fri, 27 Feb 2009 19:29:02 +0000 (13:29 -0600)
commita391838da038df1a26b9a8b54d226dc79bc4d216
tree2de348bef8c9cd8b6d47431382266fe82ff67b8a
parent4382aa6ff0eb10cf9444982e64e0b3860e415eba
added logo to source tree
palacios.png [new file with mode: 0644]