Viewing all changes in revision 166.
- Committer: Clint Byrum
- Date: 2012-11-20 23:20:23 UTC
- Revision ID: clint@ubuntu.com-20121120232023-cl94lgsixzjv63sk
[trivial] increase minimum bad line length to avoid templated lines
- files modified:
- scripts/proof
expand all
collapse all
added
removed
