documentationtexmacs

Joris van der Hoeven fb5bd32366 Better sorting of accented characters		2017-03-07 14:17:32 +00:00
about	Fix typo	2016-10-27 11:09:22 +00:00
devel	Better sorting of accented characters	2017-03-07 14:17:32 +00:00
main	fix file mode	2017-03-01 18:28:22 +00:00
fdl.txt	Fix #34181: incorrect-fsf-address (mass substitution)	2012-09-12 14:24:00 +00:00