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.


Allow spaces in key names for textfile: saves
authorPeter Dinda <pdinda@northwestern.edu>
Thu, 27 Dec 2012 02:10:45 +0000 (20:10 -0600)
committerPeter Dinda <pdinda@northwestern.edu>
Thu, 27 Dec 2012 02:15:12 +0000 (20:15 -0600)
commit9ff1045b53ca94048ec8a113efb74d691477f264
treea20d73280ffd4279576097c21aee01e4644eed2c
parent4c93cb1f1bafd622ef296ff8288f2cb2a76a062a
Allow spaces in key names for textfile: saves
linux_module/iface-keyed-stream.c