diff options
| author | Jim Fehrle | 2021-02-14 22:01:47 -0800 |
|---|---|---|
| committer | Jim Fehrle | 2021-02-14 22:11:15 -0800 |
| commit | 8220bb14e01b03ed727e8bb8c4f9ab70af3fd9f5 (patch) | |
| tree | b8f365b68d41278289fb5845fa813c82297f7bf4 /kernel/nativecode.mli | |
| parent | c0e0e637c61e075f43b73d1ddd8eaa9d79b27561 (diff) | |
Show "Error:"/"Warning:" with white type (on red/orange background)
Diffstat (limited to 'kernel/nativecode.mli')
0 files changed, 0 insertions, 0 deletions