diff options
| author | Emilio Jesus Gallego Arias | 2020-05-13 02:49:27 +0200 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2020-05-13 02:49:27 +0200 |
| commit | 4a5944448e31022593df7d6e7e0318cfea92ea98 (patch) | |
| tree | 643d10e4058af9db9efbf84d7c91c4d8eeb152e1 /kernel | |
| parent | 0992c2669324a2ab911f5a4c08c27dc97f2bf371 (diff) | |
| parent | c5fdfe6ffef15795ecfde8f18f332ddefd35605e (diff) | |
Merge PR #12307: Cleaning up the legacy proof engine
Reviewed-by: ejgallego
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions