diff options
Diffstat (limited to 'bin/style.sed')
| -rw-r--r-- | bin/style.sed | 15 |
1 files changed, 0 insertions, 15 deletions
diff --git a/bin/style.sed b/bin/style.sed deleted file mode 100644 index b1fbde63..00000000 --- a/bin/style.sed +++ /dev/null @@ -1,15 +0,0 @@ -s/[.]bg0/html, &/ -s/[.]fg15/html, &/ -s/[.]fg12/a, &/ -s/[.]fg13/a:visited, &/ - -s/[.]fg7/.hi.Keyword, &/ -s/[.]fg2/.hi.Macro, &/ -s/[.]fg11/.hi.Tag:focus, &/ -s/[.]fg6/.hi.String, &/ -s/[.]fg14/.hi.Format, &/ -s/[.]fg3/.hi.Interp, &/ -s/[.]fg4/.hi.Comment, &/ -s/[.]fg12/.hi.Todo, &/ -s/[.]fg1 /.hi.DiffOld, &/ -s/[.]fg2/.hi.DiffNew, &/ |