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.


Merge branch 'lwip_dev' of ssh://palacios@localhost/home/palacios/palacios into lwip_dev
authorLei Xia <lxia@northwestern.edu>
Thu, 25 Sep 2008 17:22:32 +0000 (12:22 -0500)
committerLei Xia <lxia@northwestern.edu>
Thu, 25 Sep 2008 17:22:32 +0000 (12:22 -0500)
commit041658e9fa8495ff45327e97438d1d84a7d4e952
tree46584c2f146a1c7b0b46b0f915f5240f3d9e4d8f
parent0aae9daea0f73b79ab367a295d4640af39d97e8f
parent8ce06fc64aa32a93775664769891d172b9036864
Merge branch 'lwip_dev' of ssh://palacios@localhost/home/palacios/palacios into lwip_dev