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 readme isntallation file
authorJack Lange <jarusl@cs.northwestern.edu>
Fri, 1 May 2009 19:58:55 +0000 (14:58 -0500)
committerJack Lange <jarusl@cs.northwestern.edu>
Fri, 1 May 2009 19:58:55 +0000 (14:58 -0500)
commit882a71be2df7bf1bfe0899f1ced844dd5d3b917a
tree8ab402948551d6e0fc21ed55b41a60ebebbd9f13
parent54422ed2a539195fca95bc065627d38f0dfbda34
added readme isntallation file
README [new file with mode: 0644]