diff bin/executable_clip @ 413:32f1aecb9d01

Only show virtual_text diagnostics for Warnings or worse
author zegervdv <zegervdv@me.com>
date Sun, 18 Jul 2021 09:49:12 +0200
parents eba1dee43703
children
line wrap: on
line diff