diff options
| author | Pierre-Marie Pédrot | 2020-02-06 12:49:04 +0100 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2020-02-06 12:49:04 +0100 |
| commit | 746ff224e7fba9fc81b8a9499f9fec2ab8af4570 (patch) | |
| tree | 622d66738ae0c9a60d251927168f0c57ea890801 /dev | |
| parent | 55e04a94e52822700ab7215857209da62ef5d2af (diff) | |
| parent | f86fd4b52a29e2ef63f03cc67c845f1fa05aae13 (diff) | |
Merge PR #11478: Nicer kernel universe error for inductives
Reviewed-by: ppedrot
Diffstat (limited to 'dev')
0 files changed, 0 insertions, 0 deletions