diff options
| author | Hugo Herbelin | 2020-02-15 19:11:56 +0100 |
|---|---|---|
| committer | Hugo Herbelin | 2020-02-16 21:44:43 +0100 |
| commit | 9970ee1b131cb7e3b891d8258e492caafca46158 (patch) | |
| tree | 81795ff4513e549c426248521c43542c5b679161 /tools/TimeFileMaker.py | |
| parent | cb3744bbf5165851877e17c12e92b40027526a04 (diff) | |
Fixing bug #9521 (anomaly due to missing declaration of level in custom entry).
This fixes also #9640 part 1.
Diffstat (limited to 'tools/TimeFileMaker.py')
0 files changed, 0 insertions, 0 deletions