[gnome-terminal] help: Make pref-profile-char-width.page pass "yelp-check ids"



commit 829e53909a63321cc79a92b6c9b667bc62b59fc7
Author: Andre Klapper <a9016009 gmx de>
Date:   Fri Feb 28 13:21:08 2020 +0100

    help: Make pref-profile-char-width.page pass "yelp-check ids"

 help/C/pref-profile-char-width.page | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)
---
diff --git a/help/C/pref-profile-char-width.page b/help/C/pref-profile-char-width.page
index 7c4a2f19..473f8d1b 100644
--- a/help/C/pref-profile-char-width.page
+++ b/help/C/pref-profile-char-width.page
@@ -1,6 +1,6 @@
 <page xmlns="http://projectmallard.org/1.0/";
       type="task"
-      id="profile-char-width">
+      id="pref-profile-char-width">
 
   <info>
     <link type="guide" xref="index#advanced"/>


[Date Prev][Date Next]   [Thread Prev][Thread Next]   [Thread Index] [Date Index] [Author Index]