diff options
author | G. Branden Robinson <g.branden.robinson@gmail.com> | 2020-04-18 15:29:10 +1000 |
---|---|---|
committer | G. Branden Robinson <g.branden.robinson@gmail.com> | 2020-04-19 09:25:38 +1000 |
commit | 05f4407a62576dcd4fc2193b0014dc1c2e8af64f (patch) | |
tree | 5604f87f99af85cc098a4e5adfb5e2555b19fbec /font/devX75-12 | |
parent | bdf82767ba8a22502f1bf245665c6f710c215ad0 (diff) | |
download | groff-git-05f4407a62576dcd4fc2193b0014dc1c2e8af64f.tar.gz |
Delete editor-settings comment banners.
Most users and developers have lexical coloring/syntax highlighting
available these days (cf. 30 years ago).
Leaving them in plain-text files (like READMEs) because these are
generally not machine-parsed (except for changelogs...) and the
indicator may conceivably be useful to novices who stumble across them.
Diffstat (limited to 'font/devX75-12')
-rw-r--r-- | font/devX75-12/devX75-12.am | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/font/devX75-12/devX75-12.am b/font/devX75-12/devX75-12.am index fe751cea3..fc98bf5ec 100644 --- a/font/devX75-12/devX75-12.am +++ b/font/devX75-12/devX75-12.am @@ -43,10 +43,6 @@ endif EXTRA_DIST += $(DEVX7512FONTS) -######################################################################## -# Editor settings -######################################################################## -# # Local Variables: # mode: makefile-automake # fill-column: 72 |