diff options
| author | Clément Pit-Claudel | 2019-05-31 22:18:51 +0000 |
|---|---|---|
| committer | GitHub | 2019-05-31 22:18:51 +0000 |
| commit | 9ebfbb6abbd5480b434ceadebec824d7c8804e73 (patch) | |
| tree | 0c2ee671c463a2ece9eec067410ad5d7e93ea23b /coq | |
| parent | 104db184b8c29e4b8eb2240b68f0b389c2b92480 (diff) | |
| parent | 0486aa9af0a88411011aa13d39b25222a2c03020 (diff) | |
Merge pull request #425 from tchajed/fix-stray-h
Remove stray h
Diffstat (limited to 'coq')
0 files changed, 0 insertions, 0 deletions