diff options
author | Sven Gothel <[email protected]> | 2023-02-17 13:04:40 +0100 |
---|---|---|
committer | GitHub <[email protected]> | 2023-02-17 13:04:40 +0100 |
commit | d36ef80976e9dd4f9400bf768939a8813e2292b5 (patch) | |
tree | 0ea348b7360cb9905ff1b28bbdf00e2772e7eb31 /make | |
parent | 69fd2003d2744922a8bb48fb42c8a278bf35476e (diff) | |
parent | 1f0bcfa5c7ff62cad3280a18a4e0f779257c46cc (diff) |
Merge pull request #109 from david-hall/master
Add missing case in getDbgSeverityString()
Diffstat (limited to 'make')
0 files changed, 0 insertions, 0 deletions