diff options
author | Max-001 <80035972+Max-001@users.noreply.github.com> | 2024-09-20 10:19:06 +0200 |
---|---|---|
committer | Max-001 <80035972+Max-001@users.noreply.github.com> | 2024-09-20 10:19:06 +0200 |
commit | e44ebdb95007cb653df2868ada79f65be63597c0 (patch) | |
tree | 90c0029fe1db264642ebb48fa5d3c18f79349e24 | |
parent | 77c9588359df6a72097e46074b1ff14f80350285 (diff) | |
parent | 17b996ebd1c01402fb49332e45bcedb5a8706d36 (diff) |
Merge remote-tracking branch 'origin/master' into max/project-plan
-rwxr-xr-x | scripts/reqs2tex.py | 20 |
1 files changed, 11 insertions, 9 deletions
diff --git a/scripts/reqs2tex.py b/scripts/reqs2tex.py index 1863b0d..31303ff 100755 --- a/scripts/reqs2tex.py +++ b/scripts/reqs2tex.py @@ -15,15 +15,17 @@ class KEY(StrEnum): DESCRIPTION = 'description' PRIORITY = 'priority' -class REQ_TYPE(StrEnum): - SYSTEM = 'system' - USER = 'user' - -class REQ_PRIORITY(StrEnum): - MUST = 'must' - SHOULD = 'should' - COULD = 'could' - WONT = 'will not' +REQ_TYPE = [ + 'system', + 'user', +] + +REQ_PRIORITY = [ + 'must', + 'should', + 'could', + 'will not', +] id_counter = 0 def make_id(item): |