diff options
| author | Enrico Tassi | 2020-03-05 16:12:31 +0100 |
|---|---|---|
| committer | Enrico Tassi | 2020-03-05 16:12:31 +0100 |
| commit | 68ed869c90f81c6d14748718914473fb578dfa1d (patch) | |
| tree | 7f3bdd91ed1daa81ccce95cde5bd2ae25e27cbb0 /kernel | |
| parent | c5bf968b30fd62d838615ec29d993431d31bbe0b (diff) | |
| parent | 3b9958992cec645f3671aa17d004f035488f222c (diff) | |
Merge PR #11693: [boot] Don't initialize coqlib when `-boot` is passed.
Reviewed-by: gares
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions