diff options
author | Max-001 <80035972+Max-001@users.noreply.github.com> | 2024-09-18 18:13:24 +0200 |
---|---|---|
committer | Max-001 <80035972+Max-001@users.noreply.github.com> | 2024-09-18 18:13:24 +0200 |
commit | d4b4b14cd82da9d733ffdc19210ee9b4ec09e4c7 (patch) | |
tree | 252465e25b023037d6c8c209cafcef09a6b68b12 /glossary.bib | |
parent | ad6a8573c4de484e5435b3f68a1347120b323827 (diff) | |
parent | 074c28335b85775b7c1b53a05e6622be63cf4fe9 (diff) |
Merge remote-tracking branch 'origin/master' into max/time
Diffstat (limited to 'glossary.bib')
-rw-r--r-- | glossary.bib | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/glossary.bib b/glossary.bib index 437db86..8bf48ac 100644 --- a/glossary.bib +++ b/glossary.bib @@ -33,3 +33,16 @@ long = {Application Programming Interface}, } +@acronym{reqlabel-priority, + short = {pri}, + long = {priority}, +} +@acronym{reqlabel-description, + short = {req}, + long = {requirement}, +} +@acronym{reqlabel-done, + short = {DoD}, + long = {definition of done}, +} + |