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.


change lwip
authorLei Xia <lxia@northwestern.edu>
Wed, 24 Sep 2008 20:22:37 +0000 (15:22 -0500)
committerLei Xia <lxia@northwestern.edu>
Wed, 24 Sep 2008 20:22:37 +0000 (15:22 -0500)
commitaf3905e8868c6428c147e402eeb8dad3c4b434e6
tree5f160c63db1323b31c86b221bd3852795a99623c
parentbb85a79b76f2ad4d8f8308a00b03ba4a9ab93bd3
change lwip
palacios/src/lwip/FILES [deleted file]