dexed/docs
Basile Burg 536490ad44 docs, use new name 2018-10-20 15:45:12 +02:00
..
_includes udpate 2018-01-26 20:57:37 +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 docs, use new name 2018-10-20 15:45:12 +02:00
features_dcd.md docs, use new name 2018-10-20 15:45:12 +02:00
features_projects.md docs, use new name 2018-10-20 15:45:12 +02: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 docs, use new name 2018-10-20 15:45:12 +02:00
menu_file.md update documentation 2017-12-07 14:30:35 +01:00
options_application.md update doc 2018-05-06 17:27:07 +02: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 docs, use new name 2018-10-20 15:45:12 +02: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 docs, use new name 2018-10-20 15:45:12 +02:00
videos.md doc, add a new vid 2017-10-30 03:00:24 +01:00
widgets_about.md add anchors to doc 2017-06-10 09:26:08 +02:00
widgets_ce_project_editor.md docs, use new name 2018-10-20 15:45:12 +02:00
widgets_custom_tools.md docs, use new name 2018-10-20 15:45:12 +02: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 docs, use new name 2018-10-20 15:45:12 +02:00
widgets_gdb_commander.md update deb and rpm scripts 2018-03-31 12:42:12 +02: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 doc 2018-04-17 10:35:27 +02:00
widgets_symbol_list.md docs, use new name 2018-10-20 15:45:12 +02:00
widgets_terminal.md rlz 2018-10-07 19:45:10 +02:00
widgets_todo_list.md add anchors to doc 2017-06-10 09:26:08 +02:00