documentationtexmacs

Joris van der Hoeven b48526d714 Way to retrieve size of tooltips		2020-11-10 22:02:21 +00:00
about	http -> https	2020-11-04 17:54:30 +00:00
devel	Way to retrieve size of tooltips	2020-11-10 22:02:21 +00:00
main	http -> https	2020-11-04 17:54:30 +00:00
fdl.txt	Fix #34181: incorrect-fsf-address (mass substitution)	2012-09-12 14:24:00 +00:00