Wedge009 0b98ddd96b Update text to match changes in dialogues (fixes #2882). ...

[ci skip]

(cherry-picked from commit f1bcdc7f1b6e9c762edd075642954f4850d151f3)

2018-10-07 03:20:34 +00:00

..

.gitignore

…

definitions.png

…

dev_manual.tex

Update text to match changes in dialogues (fixes #2882).

2018-10-07 03:20:34 +00:00

install_new_software.png

…

launch_plugin.png

…

user_manual.tex

…