diff options
| author | coqbot-app[bot] | 2020-10-19 11:53:32 +0000 |
|---|---|---|
| committer | GitHub | 2020-10-19 11:53:32 +0000 |
| commit | 9f07cf279977c3e806a7f895c0583c88e61947ff (patch) | |
| tree | 8f8bde90d15d24aa6f4dbcd2cefd1303b52d1c0d /lib/objFile.ml | |
| parent | 33f6551fd030643d0accf50dd762bcede5dd4b8b (diff) | |
| parent | 61e13c3ad883293c7138c69258e1a61716eabfa9 (diff) | |
Merge PR #13204: Consistent indentation + a few bullets in RIneq.v.
Reviewed-by: silene
Diffstat (limited to 'lib/objFile.ml')
0 files changed, 0 insertions, 0 deletions