diff options
author | Max-001 <80035972+Max-001@users.noreply.github.com> | 2024-09-18 16:26:02 +0200 |
---|---|---|
committer | Max-001 <80035972+Max-001@users.noreply.github.com> | 2024-09-18 16:26:02 +0200 |
commit | f9071704c1cb74667d9da6c1429e75bc509cb244 (patch) | |
tree | a90dba1b0624f871bf258d7107c64849f6f15117 /glossary.bib | |
parent | 105cab5fc6f88f7e71e71910c5f598d39fba3262 (diff) | |
parent | 6b3fa9ceaf539b1bdcddf6284326a67c127d93a4 (diff) |
Merge remote-tracking branch 'origin/master' into max/research
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}, +} + |