diff options
author | Johannes Ranke <jranke@uni-bremen.de> | 2015-05-15 14:04:49 +0200 |
---|---|---|
committer | Johannes Ranke <jranke@uni-bremen.de> | 2015-05-15 14:04:49 +0200 |
commit | ffc12f79fdb283bc59f073208c883b84271be121 (patch) | |
tree | a22b49971aa1a466421412aa8bbce9aa117afe53 /NAMESPACE | |
parent | 6c65cba39dbca98caf3f8e69552b3454ec1721fc (diff) |
Make mkinmod quiet in tests
Diffstat (limited to 'NAMESPACE')
0 files changed, 0 insertions, 0 deletions