From a8137edf247c46ef3a5af78c48bcd299a13c1a7d Mon Sep 17 00:00:00 2001
From: Jacky Zhao <j.zhao2k19@gmail.com>
Date: Sun, 03 Jul 2022 00:14:17 +0000
Subject: [PATCH] fix: adjust weird colours for err highlighting

---
 0 files changed, 0 insertions(+), 0 deletions(-)


--
Gitblit v1.10.0