Yann Cébron b969d17468 "Settings/Preferences" is now "Settings" on all OSes

2023-01-11 14:43:08 +01:00

..

api_internal

api_internal.md: highlight note + repeat it under table

2022-12-15 10:47:41 +01:00

api_notable

"Settings/Preferences" is now "Settings" on all OSes

2023-01-11 14:43:08 +01:00

resources

"Settings/Preferences" is now "Settings" on all OSes

2023-01-11 14:43:08 +01:00

tools

"Settings/Preferences" is now "Settings" on all OSes

2023-01-11 14:43:08 +01:00

glossary.md

glossary.md: link-summary, feedback snippet

2022-12-22 16:36:34 +01:00

plugin_repository_obsolete.md

Migration from Stardust to Writerside (#902)

2022-11-24 15:11:20 +01:00

verifying_plugin_compatibility.md

verifying_plugin_compatibility.md: expand "IDE Support" section

2023-01-10 11:25:42 +01:00