rpms / dejagnu

Clone
Source Code
GIT

7491a00 - Remove mention of dejagnu.info from manpage, per comments in

Authored and Committed by pmachata 17 years ago
raw patch tree parent
2 files changed. 32 lines added. 1 lines removed.
dejagnu-1.4.4-no-info.patch
file added
+24
dejagnu.spec
file modified
+8 -1 
    - Remove mention of dejagnu.info from manpage, per comments in
        doc/Makefile.
    - Resolves: #230652
file added
+24
file modified
+8 -1
Powered by Pagure 5.14.1
Documentation • File an Issue • About this Instance • SSH Hostkey/Fingerprint
© Red Hat, Inc. and others.