Joris van der Hoeven 666318f6bb Fix bug #45636: edit_main_rep::print_snippet doesn't expand macro before printing		2017-06-23 16:01:18 +00:00
..
format	fix file mode	2017-03-01 18:28:22 +00:00
interface	More cautious documentation on nested DATA_BEGIN/DATA_END blocks	2013-11-28 15:14:58 +00:00
plugin	Doc:notice for outdated info	2014-08-26 17:37:56 +00:00
scheme	Fix bug #45636: edit_main_rep::print_snippet doesn't expand macro before printing	2017-06-23 16:01:18 +00:00
source	Doc: updated english manual to reflect changes in menu name: Format->Adjust	2014-01-28 09:44:23 +00:00
style	Continued reorganization of Document menu	2013-10-26 21:20:27 +00:00