diff options
author | Ben Elliston <bje@gnu.org> | 2018-12-12 12:54:11 +1100 |
---|---|---|
committer | Ben Elliston <bje@gnu.org> | 2018-12-12 12:54:11 +1100 |
commit | b0b842d77c6fc8b9f6c9f19baa93fb20330f5301 (patch) | |
tree | 3a30cd19e1b3e1a33695075b2b9eea96059e6838 /config | |
parent | ca729a2f34d53b2eae0c3c10dfcb4ff8c40c1613 (diff) | |
download | dejagnu-b0b842d77c6fc8b9f6c9f19baa93fb20330f5301.zip dejagnu-b0b842d77c6fc8b9f6c9f19baa93fb20330f5301.tar.gz dejagnu-b0b842d77c6fc8b9f6c9f19baa93fb20330f5301.tar.bz2 |
Remove new stray entries.
Diffstat (limited to 'config')
0 files changed, 0 insertions, 0 deletions