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.


test,
authorLei Xia <lxia@northwestern.edu>
Thu, 25 Sep 2008 17:50:40 +0000 (12:50 -0500)
committerLei Xia <lxia@northwestern.edu>
Thu, 25 Sep 2008 17:50:40 +0000 (12:50 -0500)
commit20d6e61bf7781f1b53f0716b49e6239baba2856a
treee7ce40a56b74ee50a1e691e71f3b9eb0fe37edd5
parentcb5c761311d5277a6fc376bbfe471e003b375686
test,
palacios/src/lwip/lwipopts.h [deleted file]