| .. |
|
man-advanced-preferences.en.tm
|
Plugins: configurable default width for embedded postscript
|
2015-03-26 22:33:46 +00:00 |
|
man-config-kbd-modkeys.de.tm
|
Rename
|
2011-08-28 07:59:50 +00:00 |
|
man-config-kbd-modkeys.es.tm
|
Rename
|
2011-08-28 07:59:50 +00:00 |
|
man-config-kbd-modkeys.fr.tm
|
Rename
|
2011-08-28 07:59:50 +00:00 |
|
man-config-kbd-modkeys.it.tm
|
Rename
|
2011-08-28 07:59:50 +00:00 |
|
man-config-kbd-modkeys.pl.tm
|
Rename
|
2011-08-28 07:59:50 +00:00 |
|
man-config-keyboard.en.tm
|
doc: fix broken hlinks (en only) and minor changes. Please check new
|
2022-12-31 12:04:11 +00:00 |
|
man-config-keyboard.zh.tm
|
fix file mode
|
2017-03-01 18:28:22 +00:00 |
|
man-configuration.de.tm
|
Rename
|
2011-08-28 07:59:50 +00:00 |
|
man-configuration.en.tm
|
Rename
|
2011-08-28 07:59:50 +00:00 |
|
man-configuration.es.tm
|
Rename
|
2011-08-28 07:59:50 +00:00 |
|
man-configuration.fr.tm
|
Rename
|
2011-08-28 07:59:50 +00:00 |
|
man-configuration.it.tm
|
Rename
|
2011-08-28 07:59:50 +00:00 |
|
man-configuration.pl.tm
|
Rename
|
2011-08-28 07:59:50 +00:00 |
|
man-configuration.zh.tm
|
Doc(zh/en): document TEXMACS_HOME_PATH on Windows and other minor changes
|
2019-07-19 17:15:54 +00:00 |
|
man-intro.de.tm
|
Rename
|
2011-08-28 07:59:50 +00:00 |
|
man-intro.es.tm
|
Rename
|
2011-08-28 07:59:50 +00:00 |
|
man-intro.fr.tm
|
Rename
|
2011-08-28 07:59:50 +00:00 |
|
man-intro.it.tm
|
Rename
|
2011-08-28 07:59:50 +00:00 |
|
man-intro.pl.tm
|
Rename
|
2011-08-28 07:59:50 +00:00 |
|
man-oriental.en.tm
|
Fix typos
|
2019-01-16 16:04:56 +00:00 |
|
man-oriental.zh.tm
|
Doc_zh: update man-oriental
|
2021-01-17 13:26:02 +00:00 |
|
man-preferences.en.tm
|
Rename
|
2011-08-28 07:59:50 +00:00 |
|
man-preferences.fr.tm
|
french translation
|
2013-02-06 13:17:36 +00:00 |
|
man-preferences.zh.tm
|
fix file mode
|
2017-03-01 18:28:22 +00:00 |
|
man-russian.de.tm
|
Rename
|
2011-08-28 07:59:50 +00:00 |
|
man-russian.en.tm
|
Fix typos
|
2019-01-16 16:04:56 +00:00 |
|
man-russian.fr.tm
|
Rename
|
2011-08-28 07:59:50 +00:00 |
|
man-russian.it.tm
|
Rename
|
2011-08-28 07:59:50 +00:00 |
|
man-russian.pl.tm
|
Rename
|
2011-08-28 07:59:50 +00:00 |
6037f42bc1