chiark
/
gitweb
/
~ijackson
/
talk-2018-dc18-gdr.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
wip fonts 2
[talk-2018-dc18-gdr.git]
/
greyout
diff --git
a/greyout
b/greyout
index 97ad34991e824994c6cd2fadaab5329dc34853bb..16502ac887bbdccc99c4596cef95f475eef94b0e 100755
(executable)
--- a/
greyout
+++ b/
greyout
@@
-3,4
+3,4
@@
($l, $r, $depth) = m/^(2 \d+ \d+ \d+ )0( \d+ (\d+) .*)/ or
next;
next unless $depth =~ m/6.$/;
-$_ = $l."3
2
".$r."\n";
+$_ = $l."3
3
".$r."\n";