| commit | 133928f0cb02d4ea66b76beb09376a4a2b9d9365 | [log] [tgz] |
|---|---|---|
| author | Michael Ernst <mernst@cs.washington.edu> | Wed Jun 14 18:05:29 2017 -0700 |
| committer | Michael Ernst <mernst@cs.washington.edu> | Wed Jun 14 18:05:29 2017 -0700 |
| tree | 50513d9a729bd6436ca1a5b16ecdba300aaa5a56 | |
| parent | 02694558b428e24d62f2f5498391329bddb63972 [diff] |
Give hint if code is mis-formatted Note that code should not be reformatted until branches have been merged