Rework declaration of "Variants" list in dejagnu launcher
commit40c351f14a4342d63dcca6a9c72ae81486a1f375
authorJacob Bachmeyer <jcb@gnu.org>
Thu, 1 Apr 2021 23:28:56 +0000 (1 18:28 -0500)
committerJacob Bachmeyer <jcb@gnu.org>
Thu, 1 Apr 2021 23:28:56 +0000 (1 18:28 -0500)
tree106253675fdef3c10d7f9f43a9b7fa7b426554e7
parentc35660505e4ec0a79a1ca0e5ea88d6e78caa1778
Rework declaration of "Variants" list in dejagnu launcher
ChangeLog
dejagnu