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 /doc/version.texi | |
| parent | 67a1502fb4fa3fc85c26da328acb5e1258fd0fcc (diff) | |
Add initial infrastructure for DejaGnu "specs" strings
Diffstat (limited to 'doc/version.texi')
0 files changed, 0 insertions, 0 deletions