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.


updated header files for link errors
authorLei Xia <xiaxlei@gmail.com>
Wed, 13 Aug 2008 20:12:18 +0000 (20:12 +0000)
committerLei Xia <xiaxlei@gmail.com>
Wed, 13 Aug 2008 20:12:18 +0000 (20:12 +0000)
commit86c94f9d9d98acdd2f057a35ce97f571742a4ecf
tree10e2dee6d1c99ddd5e60ab09fa96c987b5281ac6
parent93c9f7ef881daf0c36915a9d6c6d3df10c045d10
updated header files for link errors
palacios/include/uip/resolv.h
palacios/include/uip/uip-conf.h
palacios/include/uip/uipopt.h