From: NeilBrown <neil@brown.name>
Date: Wed, 3 Nov 2021 01:01:17 +0000 (+1100)
Subject: mark-untested: improve filter
X-Git-Url: https://ocean-lang.org/code/?a=commitdiff_plain;h=c7bbb99395c9e10a0b09995528e04da4dfadba05;hp=c7bbb99395c9e10a0b09995528e04da4dfadba05;p=ocean

mark-untested: improve filter

Don't add the mark for any section lines.

Signed-off-by: NeilBrown <neil@brown.name>
---