diff options
author | 2018-03-05 13:30:08 +0100 | |
---|---|---|
committer | 2018-03-05 13:30:08 +0100 | |
commit | 15331729aaab16678c2f7e29dd391f72df53d76e (patch) | |
tree | 259c87baa8152c7b67fd339bb90f5ecf6317c207 /toplevel/coqtop_bin.ml | |
parent | 736e86e06b5831a0dd4b6a655708b4ffd2b4ee64 (diff) | |
parent | 629fbc743f8b5e7623a6834f19885b2e379cb782 (diff) |
Merge PR #6855: Update headers following #6543.
Diffstat (limited to 'toplevel/coqtop_bin.ml')
0 files changed, 0 insertions, 0 deletions