poke-devel
[Top][All Lists]
Advanced

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

[PATCH 09/12] DOC: Remove redundant comment


From: John Darrington
Subject: [PATCH 09/12] DOC: Remove redundant comment
Date: Mon, 2 Dec 2019 17:51:10 +0100

---
 doc/poke.texi | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/doc/poke.texi b/doc/poke.texi
index b42dd10..8000e26 100644
--- a/doc/poke.texi
+++ b/doc/poke.texi
@@ -65,7 +65,7 @@ Using poke
 * Commanding poke::            Interactive and non-interactive usage.
 
 Dot-Commands
-* load command::               Loading pickles.
+* load command::               Loading pickles.
 * file command::               Opening and selecting IO spaces.
 * close command::              Closing IO spaces.
 * editor command::             Using an external editor for input.
@@ -4096,7 +4096,7 @@ XXX
 @c  LocalWords:  variadic args PDP programmatically PKL eBPF dst src
 @c  LocalWords:  BPF Insn Regs le ident ei ELFDATA LSB ELFDAT MSB ios
 @c  LocalWords:  Ehdr ELFDATANONE osabi abiversion nident Unmapping
-@c  LocalWords:  filesystem Comparator cmp relocations DIEs nelems
+@c  LocalWords:  Comparator cmp relocations DIEs nelems
 @c  LocalWords:  EOF Rela Addr Xword Sxword Shdr addr addralign fmt
 @c  LocalWords:  entsize relocs adoleces libtextstyle classname css
 @c  LocalWords:  ushort ulong uoff abc ltrim whitespace rtrim fdl
-- 
2.11.0




reply via email to

[Prev in Thread] Current Thread [Next in Thread]