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 ***
authorPeter Dinda <pdinda@northwestern.edu>
Mon, 21 Jul 2008 15:29:49 +0000 (15:29 +0000)
committerPeter Dinda <pdinda@northwestern.edu>
Mon, 21 Jul 2008 15:29:49 +0000 (15:29 +0000)
commit2409e8ed894c3e10074d801faa0c2fc11f29ef6f
treebbf4d9a7d4f0b6d1c86da04f22c05523fe78d6ae
parent57e3d7d1e671a261befef967b4a441e5d7dc2303
*** empty log message ***
palacios/build/c.img [deleted file]