diff dot_bashrc @ 466:899cded39cd3

Update Diagnostic highlighting after api changes
author Zeger Van de Vannet <zegervdv@me.com>
date Fri, 24 Sep 2021 15:03:52 +0200
parents cf524a68bebc
children c72fa6d32653
line wrap: on
line diff