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.


*** empty log message *** JACK-WORKING-STATIC-GEEKOS
authorPeter Dinda <pdinda@northwestern.edu>
Fri, 22 Feb 2008 17:29:41 +0000 (17:29 +0000)
committerPeter Dinda <pdinda@northwestern.edu>
Fri, 22 Feb 2008 17:29:41 +0000 (17:29 +0000)
commit4c3756d6082cb1bff38969f911c4f3b724b1af44
tree572322021bf17246e31f35ddc6d84721263a67d9
parentddd0c1fd75d297ac77969a7f9e191f3209797b3d
*** empty log message ***
utils/gcc-3.4.6.tar.gz [new file with mode: 0644]