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.


Typo fix
authorLei Xia <lxia@northwestern.edu>
Thu, 7 Apr 2011 22:41:21 +0000 (17:41 -0500)
committerLei Xia <lxia@northwestern.edu>
Thu, 7 Apr 2011 22:41:21 +0000 (17:41 -0500)
commit95e34e194b26c1ea80c0f6bbffaf6df6d1f71c62
tree18f736299eeccf511c797426985c7105d2f1784d
parent6704401236672424ff4f60900857f652a90cb47d
Typo fix
palacios/src/palacios/Makefile