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>
Mon, 6 Oct 2008 22:50:37 +0000 (17:50 -0500)
committerLei Xia <lxia@northwestern.edu>
Mon, 6 Oct 2008 22:50:37 +0000 (17:50 -0500)
commit1aaebb897ea68da37b76519f74460808de7b92e6
tree201ea248ccf2be2f7ed70d4cc24a363ffab61fc7
parentf7af5ac9e55ea3b5ba13c273adeaf4ed57fda645
parent3e382ad1f35ce26c6ed354894e91f65ddb7a0565
Merge branch 'lwip_dev' of ssh://palacios@localhost/home/palacios/palacios into lwip_dev

Conflicts:
build/RunPuppy.sh