diff options
Diffstat (limited to 'tests')
| -rw-r--r-- | tests/examplefiles/example.bug (renamed from tests/examplefiles/example.bugs) | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/tests/examplefiles/example.bugs b/tests/examplefiles/example.bug index b5b2fe7f..b5b2fe7f 100644 --- a/tests/examplefiles/example.bugs +++ b/tests/examplefiles/example.bug |