diff options
| author | Tristan Gingold <tgingold@free.fr> | 2020-05-14 19:07:28 +0200 |
|---|---|---|
| committer | Tristan Gingold <tgingold@free.fr> | 2020-05-14 19:07:28 +0200 |
| commit | b297bebce64eb9a84b7a90046b514085305c286c (patch) | |
| tree | ef4d768a5053d6241c08d5db7ae48ce097d5763d /doc/exec.py | |
| parent | 553455c571c85ba80bf3c5da24496b6954b3ba8d (diff) | |
| download | ghdl-b297bebce64eb9a84b7a90046b514085305c286c.tar.gz ghdl-b297bebce64eb9a84b7a90046b514085305c286c.tar.bz2 ghdl-b297bebce64eb9a84b7a90046b514085305c286c.zip | |
grt: move severity levels from errors to grt.severity.
Diffstat (limited to 'doc/exec.py')
0 files changed, 0 insertions, 0 deletions