1. 2019-01-24 [3] PATCH: normalize spacing in dejagnu.texi Jacob Bachm 2. 2019-01-23 [2] Re: What is a "target"? (was: "tool-and-targ Ben Ellisto 3. 2019-01-23 [1] PATCH: Improve formatting for option variabl Jacob Bachm 4. 2019-01-23 [2] PATCH: update example global init file Ben Ellisto 5. 2019-01-22 [4] "tool-and-target-specific" configuration fil Jacob Bachm 6. 2019-01-12 [5] Documenting test script arguments and revisi Jacob Bachm 7. 2019-01-12 [4] Mailing list configuration Ben Ellisto 8. 2019-01-11 [2] Dejagnu testcase Ben Ellisto 9. 2019-01-11 [4] Testcase Jacob Bachm 10. 2019-01-10 [1] PATCH 3/3: fix clone_output Jacob Bachm 11. 2019-01-10 [1] PATCH 2/3: add mocks for recording output of Jacob Bachm 12. 2019-01-10 [1] PATCH 1/3: Fix handling of blank lines in te Jacob Bachm 13. 2019-01-09 [8] PATCH: add "dejagnu report card" command [re Jacob Bachm 14. 2019-01-09 [2] Header interact Jacob Bachm 15. 2019-01-02 [2] Re: PATCH: add dejagnu-report-card(1) tool ( Ben Ellisto 16. 2019-01-01 [3] dejagnu(1) subcommand namespace planning Jacob Bachm