[gnome-terminal] help: Make pref-profile-char-width.page pass "yelp-check ids"
- From: Andre Klapper <aklapper src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gnome-terminal] help: Make pref-profile-char-width.page pass "yelp-check ids"
- Date: Fri, 28 Feb 2020 12:22:00 +0000 (UTC)
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]