alexandervnuchkov 8a37eefa88 [DE] optimized images used in the documentation		2018-04-18 15:35:50 +03:00
..
HelpfulHints	[DE][PE][SSE] replaced type="search" with type="text" for all the pages of documentation (Chrome search field cross bug)	2018-03-07 11:47:00 +03:00
images	[DE] optimized images used in the documentation	2018-04-18 15:35:50 +03:00
ProgramInterface	[DE][PE][SSE] replaced type="search" with type="text" for all the pages of documentation (Chrome search field cross bug)	2018-03-07 11:47:00 +03:00
search	[DE][PE][SSE] Updated indexes.js for all editors documentation (removed double spaces)	2018-03-07 12:28:35 +03:00
UsageInstructions	[DE][PE][SSE] replaced type="search" with type="text" for all the pages of documentation (Chrome search field cross bug)	2018-03-07 11:47:00 +03:00
callback.js	Update copyright to 2018	2018-03-01 15:16:38 +03:00
Contents.json	[DE] Documentation corrections: Spanish, German	2018-02-21 16:49:46 +03:00
editor.css	Updates to the documentation concerning the search field and search result page	2018-02-20 15:42:44 +03:00