diff options
| author | coqbot-app[bot] | 2020-11-05 09:29:41 +0000 |
|---|---|---|
| committer | GitHub | 2020-11-05 09:29:41 +0000 |
| commit | 5af74f736d5d621e3934be17d25c69b4ed3c0edf (patch) | |
| tree | aecd1ef2031113682340bd3daf298721804030c1 /doc/sphinx/proof-engine | |
| parent | 81eecfc24f3bb7b7055b6bef5a3db37d1952d0ee (diff) | |
| parent | e047599a7851d5c757635e966067ca9271577692 (diff) | |
Merge PR #13231: Remove warning on SSR Search having moved.
Reviewed-by: gares
Diffstat (limited to 'doc/sphinx/proof-engine')
0 files changed, 0 insertions, 0 deletions