eiffel-org cf5d88ed33 typo ...

Updated wikipage Criterion References.
	(Signed-off-by:jocelyn).

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

2020-06-25 07:27:10 +00:00

..

autotest

Update wikipage The Eiffel Test Wizard. (Signed-off-by:jocelyn).

2016-03-31 21:14:07 +00:00

browsing-tools

Renamed current as trunk.

2015-09-23 17:16:49 +00:00

compiler

merged from 19.05

2019-12-28 20:03:38 +00:00

debugger

removed unwanted text

2020-06-23 07:13:21 +00:00

diagram-tool

removed slash in various wiki page title, due to trouble with fcgi and url encoding

2016-04-01 10:38:21 +00:00

eiffel-information-system

Update wikipage Variable Definition. (Signed-off-by:alexk).

2016-09-21 06:18:44 +00:00

eiffel-inspector

Corrected "ca_ignore" tag name.

2020-05-22 06:23:20 +00:00

eiffelstudio-editor

merged from 19.05

2019-12-28 20:03:38 +00:00

eiffelstudio-general-interface-description

Update wikipage EiffelStudio window overview. (Signed-off-by:jocelyn).

2016-04-06 08:01:47 +00:00

eiffelstudio-preferences

Replace occurrences of ..' by ..` (backtick+text+quote replaced by backtick+text+backtick).

2016-07-01 10:32:39 +00:00

eiffelstudio-project-settings-window

Merged modification from 19.12 branch.

2020-05-22 15:24:28 +00:00

eiffelstudio-release-notes

Updated wikipage Release notes for EiffelStudio 20.05. (Signed-off-by:jocelyn).

2020-06-02 08:56:25 +00:00

formatted-information-about-compiled-classes-and-features

Renamed current as trunk.

2015-09-23 17:16:49 +00:00

metrics-tool

typo

2020-06-25 07:27:10 +00:00

outputs-tool

Renamed current as trunk.

2015-09-23 17:16:49 +00:00

wizards-and-dialogs

Merged modification from 19.12 branch.

2020-05-22 15:24:28 +00:00

console-tool.wiki

Renamed current as trunk.

2015-09-23 17:16:49 +00:00

contract-editor-tool.wiki

Replace occurrences of ..' by ..` (backtick+text+quote replaced by backtick+text+backtick).

2016-07-01 10:32:39 +00:00

error-list-tool.wiki

Renamed current as trunk.

2015-09-23 17:16:49 +00:00

index.wiki

merged from 18.01

2018-07-04 08:50:09 +00:00