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.


Minor change to linux version numbers in module build file
authorPatrick G. Bridges <bridges@cs.unm.edu>
Fri, 11 Nov 2011 04:00:55 +0000 (21:00 -0700)
committerPatrick G. Bridges <bridges@cs.unm.edu>
Fri, 11 Nov 2011 04:00:55 +0000 (21:00 -0700)
commitdc41a5e6b7601dcdf9eb2ac84dbf297cac037f5b
tree26f17e477d982995e1ff91b71dff05f71e649773
parentf7e83e5d2d00ba107ccda346da4660ab523471bb
Minor change to linux version numbers in module build file
linux_module/iface-file.c