dexed/docs
Basile Burg fd39a248c0 Add current doc "Selection" as search scope, close #430 2019-03-15 22:18:27 +01:00
..
_includes fix icons links broken in gh pages, close #414 2019-01-29 17:01:13 +01:00
img remove doc for the static macros 2018-07-19 21:46:28 +02:00
_config.yml add anchors to doc 2017-06-10 09:26:08 +02:00
build.md update links 2019-01-19 17:40:54 +01:00
features_dcd.md update links 2019-01-19 17:40:54 +01:00
features_projects.md rename the CE project format "DEXED ..." 2019-01-20 14:06:29 +01:00
features_runnables.md docs, use new name 2018-10-20 15:45:12 +02:00
features_symbolic_strings.md docs, use new name 2018-10-20 15:45:12 +02:00
index.md remove link to Coedit YT channel 2019-03-10 12:37:13 +01:00
menu_file.md update documentation 2017-12-07 14:30:35 +01:00
options_application.md update doc 2019-02-02 14:05:04 +01:00
options_code_metrics.md docs, use new name 2018-10-20 15:45:12 +02:00
options_compilers_paths.md docs, use new name 2018-10-20 15:45:12 +02:00
options_dub_build.md rlz 2019-01-03 00:17:48 +01:00
options_editor_pages.md add anchors to doc 2017-06-10 09:26:08 +02:00
options_shortcuts_editor.md add anchors to doc 2017-06-10 09:26:08 +02:00
setup.md update links 2019-01-19 17:40:54 +01:00
widgets_about.md add anchors to doc 2017-06-10 09:26:08 +02:00
widgets_custom_tools.md tools, add the autoExecuteEvents property 2019-02-11 03:26:03 +01:00
widgets_dexed_project_editor.md update doc 2019-01-20 14:12:54 +01:00
widgets_dfmt_commander.md doc, remove mention of my DCD fork + change GH addresses 2017-06-21 14:21:33 +02:00
widgets_dub_project_editor.md docs, use new name 2018-10-20 15:45:12 +02:00
widgets_editor.md update doc 2019-02-01 23:18:01 +01:00
widgets_gdb_commander.md rlz 2019-02-07 07:26:10 +01:00
widgets_library_manager.md docs, use new name 2018-10-20 15:45:12 +02:00
widgets_messages.md docs, use new name 2018-10-20 15:45:12 +02:00
widgets_mini_explorer.md update version and doc 2018-03-31 11:38:24 +02:00
widgets_options_editor.md add anchors to doc 2017-06-10 09:26:08 +02:00
widgets_process_input.md add anchors to doc 2017-06-10 09:26:08 +02:00
widgets_profile_viewer.md enhance the profile view, close #160 2017-07-13 12:11:23 +02:00
widgets_project_groups.md add anchors to doc 2017-06-10 09:26:08 +02:00
widgets_project_inspector.md update version and doc 2018-03-31 11:38:24 +02:00
widgets_search.md Add current doc "Selection" as search scope, close #430 2019-03-15 22:18:27 +01:00
widgets_symbol_list.md update links 2019-01-19 17:40:54 +01:00
widgets_terminal.md fix wrong title in doc page for the terminal 2019-03-06 15:54:25 +01:00
widgets_todo_list.md add anchors to doc 2017-06-10 09:26:08 +02:00