diff options
| author | Jason Gross | 2017-06-14 14:14:41 -0400 |
|---|---|---|
| committer | Jason Gross | 2017-06-15 16:37:56 -0400 |
| commit | da62d0dd86fc140ff58d9366a7a85e9b21b104b9 (patch) | |
| tree | 70eb1574cee552e821336bfd0ca53f0384a00b12 /pretyping/typeclasses_errors.ml | |
| parent | 1d3703be3ab41d016c776bb29d9f5eff0cdb401d (diff) | |
Strip trailing whitespace
Diffstat (limited to 'pretyping/typeclasses_errors.ml')
0 files changed, 0 insertions, 0 deletions