diff options
author | Max-001 <80035972+Max-001@users.noreply.github.com> | 2024-09-26 16:17:21 +0200 |
---|---|---|
committer | Max-001 <80035972+Max-001@users.noreply.github.com> | 2024-09-26 16:17:21 +0200 |
commit | 9e900b072fe40789f7b7d9fb69e0b0326bc7238c (patch) | |
tree | e146b1ff277d95658f6555a9af733e4281405bf0 /glossary.bib | |
parent | 4865777f7e98ab10c3381a0a36680415bc123113 (diff) | |
parent | 6329755a372d90985bda1cd164fae8d91d4a60c6 (diff) |
Merge remote-tracking branch 'origin/master' into max/time
Diffstat (limited to 'glossary.bib')
-rw-r--r-- | glossary.bib | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/glossary.bib b/glossary.bib index 8bf48ac..fda634f 100644 --- a/glossary.bib +++ b/glossary.bib @@ -46,3 +46,9 @@ long = {definition of done}, } +@abbreviation{poc, + short = {POC}, + long = {proof-of-concept}, +} + + |