Joris van der Hoeven 2b75b1de43 Fix bug #59996: New documents are sometimes created with "no-style"		2021-03-07 21:58:44 +00:00
..
format	http -> https	2020-11-04 17:54:30 +00:00
interface	Fix typos	2019-01-16 16:04:56 +00:00
plugin	pyminimal example of a plug-in with Python code	2019-10-27 04:44:29 +00:00
scheme	Fix bug #59996: New documents are sometimes created with "no-style"	2021-03-07 21:58:44 +00:00
source	Doc: convert verbatim to scm-code/cpp-code for fonts.en.tm	2021-01-17 13:22:21 +00:00
style	Minor fixes	2019-07-16 15:53:53 +00:00