eiffel-org 7c29831d71 Corrected "ca_ignore" tag name. ...

Updated wikipage Code Analyzer: Customization.
	(Signed-off-by:alexk).

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

2020-05-22 06:23:20 +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

Merged 18.01 changes into trunk.

2018-05-28 16:59:46 +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 18.07 into trunk

2018-12-03 10:15:23 +00:00

eiffelstudio-release-notes

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

2019-12-20 15:01:15 +00:00

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

Renamed current as trunk.

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

metrics-tool

Renamed current as trunk.

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

outputs-tool

Renamed current as trunk.

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

wizards-and-dialogs

merge changes from branch 17.05 onto trunk

2018-02-06 13:41:39 +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