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.


moved palacios.png to misc directory
authorJack Lange <jarusl@cs.northwestern.edu>
Tue, 10 Nov 2009 23:33:00 +0000 (17:33 -0600)
committerJack Lange <jarusl@cs.northwestern.edu>
Tue, 10 Nov 2009 23:33:00 +0000 (17:33 -0600)
commitc480ed984c59b43e7b9eaef33e446e0d1722bc9b
tree130cf59196489fc38fce019b469001d1edd957fc
parent2bc23d57beaa42446ee7db3f0c7052086f88b0c5
moved palacios.png to misc directory
misc/palacios.png [moved from palacios.png with 100% similarity]