diff options
author | Jason Gross <jgross@mit.edu> | 2015-06-23 10:08:58 +0200 |
---|---|---|
committer | Jason Gross <jgross@mit.edu> | 2016-06-05 21:48:20 -0400 |
commit | 45748e4efae8630cc13b0199dfcc9803341e8cd8 (patch) | |
tree | a30fb01ad4cea555dfd04c22451c06b2e2b2e4bb /tools/coq_makefile.ml | |
parent | 45ee3d6b2aae4491e26551f23461ecf8ad37bd87 (diff) |
Strip some trailing spaces
Diffstat (limited to 'tools/coq_makefile.ml')
0 files changed, 0 insertions, 0 deletions