diff options
author | Joey Hess <joey@kitenet.net> | 2012-08-02 09:20:21 -0400 |
---|---|---|
committer | Joey Hess <joey@kitenet.net> | 2012-08-02 09:20:21 -0400 |
commit | d2b48cacdbb192e7501985e93e60b64fa57fa72d (patch) | |
tree | d88ee924b6f9a9ac7f1b93d7c44629447b3ae4bd /Build | |
parent | 1f2127c520b48e35a5fb335c9e711559733dfd23 (diff) |
add some strictness annotations
on general principles
Diffstat (limited to 'Build')
0 files changed, 0 insertions, 0 deletions