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.


added module linkage support
authorJack Lange <jarusl@cs.northwestern.edu>
Thu, 6 May 2010 00:39:23 +0000 (19:39 -0500)
committerJack Lange <jarusl@cs.northwestern.edu>
Thu, 6 May 2010 00:39:23 +0000 (19:39 -0500)
commitd06f1bb7e926610ec2cc0f6cbb61bbc1e416a197
treeec9856ca4eef7a4f080da1d35ccc3416b8e60659
parentb37bfbde9f008544f155d4bdf0d3f56f340c39cc
added module linkage support
modules/Makefile