diff options
| author | Vincent Laporte | 2018-10-10 11:48:23 +0000 |
|---|---|---|
| committer | Vincent Laporte | 2018-10-10 11:48:23 +0000 |
| commit | 679f2bb705ca48e708d9f6a66402a2de9748e15d (patch) | |
| tree | 77f63bcdb25de3ff51a8a2148f6d8f06f18b42b1 | |
| parent | 83fdf1ef30d4ec9b4e79cb313f0cbf009d0f238a (diff) | |
[test-suite] rename a file
| -rw-r--r-- | test-suite/bugs/closed/bug_5197.v (renamed from test-suite/bugs/closed/5197.v) | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/test-suite/bugs/closed/5197.v b/test-suite/bugs/closed/bug_5197.v index b67e93d677..b67e93d677 100644 --- a/test-suite/bugs/closed/5197.v +++ b/test-suite/bugs/closed/bug_5197.v |