Revise help system in dejagnu launcher to use Awk
commite2fa0bcf54e2bb05106be1ce22a73de4f7381444
authorJacob Bachmeyer <jcb@gnu.org>
Fri, 16 Apr 2021 21:29:55 +0000 (16 16:29 -0500)
committerJacob Bachmeyer <jcb@gnu.org>
Fri, 16 Apr 2021 21:29:55 +0000 (16 16:29 -0500)
tree8dea1ce726813750eff294b2321e3d3994e3d732
parent84c903914b49e5051f116b7a1512ee6d962d71bc
Revise help system in dejagnu launcher to use Awk
ChangeLog
dejagnu