commit | 7f7831877853385176f532a29527293870e49e8f | [log] [tgz] |
---|---|---|
author | Wenzel Jakob <wenzel@inf.ethz.ch> | Fri Dec 04 23:56:04 2015 +0100 |
committer | Wenzel Jakob <wenzel@inf.ethz.ch> | Fri Dec 04 23:56:04 2015 +0100 |
tree | e4f64e67e96c26b1e4e1cba1ec1c7d8c24e08f6a | |
parent | e9f4304f29998132d21ad21f66d2fbefde36087d [diff] | |
parent | 648e1962e10933d1a9604b12b48f971f2431f4a4 [diff] |
Merge pull request #20 from jakirkham/minor_typo Missing "is"