diff options
author | Jacob Bachmeyer <jcb@gnu.org> | 2021-04-14 21:04:16 -0500 |
---|---|---|
committer | Jacob Bachmeyer <jcb@gnu.org> | 2021-04-14 21:04:16 -0500 |
commit | 96d3794213fbfb1705861e235b76642f3a42a66d (patch) | |
tree | 0dfb6f6e8619a8d1576188f69a6b2fc38090b91b /configure | |
parent | 67a1502fb4fa3fc85c26da328acb5e1258fd0fcc (diff) | |
download | dejagnu-96d3794213fbfb1705861e235b76642f3a42a66d.zip dejagnu-96d3794213fbfb1705861e235b76642f3a42a66d.tar.gz dejagnu-96d3794213fbfb1705861e235b76642f3a42a66d.tar.bz2 |
Add initial infrastructure for DejaGnu "specs" strings
Diffstat (limited to 'configure')
0 files changed, 0 insertions, 0 deletions