commit | 1546b85797e158c225f7ea163db39a61333a4d7f | [log] [tgz] |
---|---|---|
author | Wenzel Jakob <wenzel@inf.ethz.ch> | Tue Dec 22 12:05:44 2015 +0100 |
committer | Wenzel Jakob <wenzel@inf.ethz.ch> | Tue Dec 22 12:05:44 2015 +0100 |
tree | 56aa7b8fb0acddc8cdde137d404e36925f57cc8b | |
parent | 4b279327a3d416687d6558e4b6fef8ee5486a710 [diff] | |
parent | a1718a66d3fda266009e7f50be126ff3a9469431 [diff] |
Merge pull request #44 from onionhammer/patch-1 functional.h not included in "make install"