#98 Changed Linux executable name in documentation.

2 jobs for 98-customize-executable-etc-names-for-eclipse-escet-product in 0 seconds (queued for 1 minute and 45 seconds)