]> git.neil.brown.name Git - ocean/commit
projects / ocean / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 73aaa11) | patch
mark-untested: improve filter
authorNeilBrown <neil@brown.name>
Wed, 3 Nov 2021 01:01:17 +0000 (12:01 +1100)
committerNeilBrown <neil@brown.name>
Mon, 8 Nov 2021 09:56:36 +0000 (20:56 +1100)
commitc7bbb99395c9e10a0b09995528e04da4dfadba05
tree11db5f0ed4825a153e5b3b85a65be03d6915069atree | snapshot
parent73aaa11833e35b28c84696f4d69739adbb14467dcommit | diff
mark-untested: improve filter

Don't add the mark for any section lines.

Signed-off-by: NeilBrown <neil@brown.name>
tools/mark-untested diff | blob | history
The Ocean Language Project