From 314be0242acd781bd853057b997a3b6a23c625a1 Mon Sep 17 00:00:00 2001 From: Basile Burg Date: Wed, 6 Mar 2019 15:54:25 +0100 Subject: [PATCH] fix wrong title in doc page for the terminal --- docs/widgets_terminal.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/widgets_terminal.md b/docs/widgets_terminal.md index d5386394..ce568111 100644 --- a/docs/widgets_terminal.md +++ b/docs/widgets_terminal.md @@ -8,7 +8,7 @@ title: Widgets - Terminal {% include xstyle.css %} -### Todo list +### Terminal #### Description