diff options
| author | David Aspinall | 2012-09-14 15:32:38 +0000 |
|---|---|---|
| committer | David Aspinall | 2012-09-14 15:32:38 +0000 |
| commit | b1360daa0367f5968fa251164cc2533d251184be (patch) | |
| tree | 9e2b61ea857ba221b9d3b491297db53fc7e0dc1a /lib | |
| parent | cb258b02c1e67b50700afd3ed21e143b780bc05e (diff) | |
coq-remove-trailing-dot: Fix accidental dynamic binding so it compiles
Diffstat (limited to 'lib')
0 files changed, 0 insertions, 0 deletions