Aaron Gyes edee3e5eb2 Use fonts found on terminals for the web config. ... Instead of just using Courier New across the board, have the browser try several likely available fonts before defaulting to the system's "monospace". Thanks @MarkGriffiths Fixes #2924		2016-07-01 13:41:06 -07:00
..
web_config	Use fonts found on terminals for the web config.	2016-07-01 13:41:06 -07:00
create_manpage_completions.py	docs: fix location of generated_completions (#3010)	2016-05-08 14:07:32 +02:00
deroff.py	Remove trailing whitespaces and change tabs to spaces	2012-11-18 11:23:22 +01:00