dexed/docs
Basile Burg d4d8766614 update doc 2018-05-06 17:27:07 +02:00
..
_includes udpate 2018-01-26 20:57:37 +01:00
img rlz 2018-04-17 17:53:33 +02:00
_config.yml add anchors to doc 2017-06-10 09:26:08 +02:00
build.md update 2018-01-26 20:58:56 +01:00
features_dcd.md doc, remove mention of my DCD fork + change GH addresses 2017-06-21 14:21:33 +02:00
features_projects.md doc 2018-04-17 10:35:27 +02:00
features_runnables.md update version and doc 2018-03-31 11:38:24 +02:00
features_symbolic_strings.md doc 2018-04-17 10:35:27 +02:00
index.md update doc 2018-05-06 17:27:07 +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 add anchors to doc 2017-06-10 09:26:08 +02:00
options_compilers_paths.md add anchors to doc 2017-06-10 09:26:08 +02:00
options_dub_build.md update doc 2018-02-12 02:01:54 +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 add note about linux & gtk2 2017-12-07 18:29:54 +01: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 wont do, ce format is legacy bagage 2017-09-21 03:48:37 +02:00
widgets_custom_tools.md add anchors to doc 2017-06-10 09:26:08 +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 update version and doc 2018-03-31 11:38:24 +02:00
widgets_editor.md doc 2017-07-10 08:49:23 +02:00
widgets_gdb_commander.md update deb and rpm scripts 2018-03-31 12:42:12 +02:00
widgets_library_manager.md add anchors to doc 2017-06-10 09:26:08 +02:00
widgets_messages.md Add message option to make the filter persistent - close #162 2017-07-10 11:12:05 +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 add anchors to doc 2017-06-10 09:26:08 +02:00
widgets_terminal.md doc 2018-04-17 10:35:27 +02:00
widgets_todo_list.md add anchors to doc 2017-06-10 09:26:08 +02:00