diff options
| author | coqbot-app[bot] | 2020-12-04 17:31:28 +0000 |
|---|---|---|
| committer | GitHub | 2020-12-04 17:31:28 +0000 |
| commit | 751afe3f52e52f14cf0972498d84722519dd91e7 (patch) | |
| tree | 86e38be6578608ee79bbf24f37ae5cdabcafe9f0 /engine/uState.ml | |
| parent | 4d21a082f4bc1a2a98328abc545a22f448affdf4 (diff) | |
| parent | ffc0f5992e21a9dab5bead467cb41bbcc7face01 (diff) | |
Merge PR #13569: typo
Reviewed-by: jfehrle
Diffstat (limited to 'engine/uState.ml')
0 files changed, 0 insertions, 0 deletions