OSDN Git Service

add dejagnu man*
authorribbon <ribbon@users.osdn.me>
Wed, 6 Apr 2022 23:08:00 +0000 (08:08 +0900)
committerribbon <ribbon@users.osdn.me>
Wed, 6 Apr 2022 23:08:00 +0000 (08:08 +0900)
commit1c3db4c51efb35fd7b649c21e0e6b0142171e030
treec0d44e15a0d83cc33e778d517286736a469f7faa
parentf27cee92ebdb374605beef3e2d1027005d087684
 add dejagnu man*
manual/GNU_dejagnu/release/man1/dejagnu-help.1 [new file with mode: 0644]
manual/GNU_dejagnu/release/man1/dejagnu-report-card.1 [new file with mode: 0644]
manual/GNU_dejagnu/release/man1/dejagnu.1 [new file with mode: 0644]
manual/GNU_dejagnu/release/man1/runtest.1 [new file with mode: 0644]