diff options
author | Matthias Benkard <code@mail.matthias.benkard.de> | 2008-02-21 22:54:47 +0100 |
---|---|---|
committer | Matthias Benkard <code@mail.matthias.benkard.de> | 2008-02-21 22:54:47 +0100 |
commit | 10a557db78474e81ba7ad39701a3611c65db0a8a (patch) | |
tree | dc052e0bcafd1eb04ec88e03a26aeb580dccf4b1 /protocols.asd | |
parent | 85b983a0eb9c3aec7fc59c560c441ed28c10b85d (diff) |
Add a strictness option to protocols.
darcs-hash:28dd5077fc8cd98403f72f76668046a5b79bef21
Diffstat (limited to 'protocols.asd')
0 files changed, 0 insertions, 0 deletions