groff-commit
[Top][All Lists]
Advanced

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

[groff] 01/127: src/devices/grotty/TODO: Drop item.


From: G. Branden Robinson
Subject: [groff] 01/127: src/devices/grotty/TODO: Drop item.
Date: Mon, 10 Jul 2023 04:30:10 -0400 (EDT)

gbranden pushed a commit to branch master
in repository groff.

commit 091387a4bc0aeb43a9cad8881d6a7732f1a0eecc
Author: G. Branden Robinson <g.branden.robinson@gmail.com>
AuthorDate: Fri Jul 7 22:55:51 2023 -0500

    src/devices/grotty/TODO: Drop item.
    
    This task was resolved in a fitful series of commits during groff 1.23.0
    development.  See c105b1725c, 2019-06-27; e81d3b039e, 2021-10-06; and
    acd5ee6271, 2021-11-21.
---
 src/devices/grotty/TODO | 2 --
 1 file changed, 2 deletions(-)

diff --git a/src/devices/grotty/TODO b/src/devices/grotty/TODO
index 3f23dc35d..5db4221f7 100644
--- a/src/devices/grotty/TODO
+++ b/src/devices/grotty/TODO
@@ -1,3 +1 @@
-Document font and device description file usage of grotty.
-
 With -h avoid using a tab when a single space will do.



reply via email to

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