jfiat d88254c19d Merge changes from trunk into 20.05 ...

git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@2254 abb3cda0-5349-4a8f-a601-0c33ac3a8c38

2020-07-01 08:54:56 +00:00

..

editor-preferences

…

eiffelstudio-tools-preferences

Merge changes from trunk into 20.05

2020-07-01 08:54:56 +00:00

interface

…

debugger-preferences.wiki

…

general-preferences.wiki

…

index.wiki

…

recent-project-preferences.wiki

…