diff options
Diffstat (limited to 'decisions/decisions.deg')
-rw-r--r-- | decisions/decisions.deg | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/decisions/decisions.deg b/decisions/decisions.deg index 1b400a7..bf10ad1 100644 --- a/decisions/decisions.deg +++ b/decisions/decisions.deg @@ -67,6 +67,8 @@ \ifthenelse{\equal{#1}{tommy}}{Thomas Sachau}{}% \ifthenelse{\equal{#1}{k_f}}{}{}% \ifthenelse{\equal{#1}{dilfridge}}{Andreas K. Hüttel}{}% +\ifthenelse{\equal{#1}{pinkbyte}}{Sergey Popov}{}% +\ifthenelse{\equal{#1}{soap}}{David Seifert}{}% } \renewcommand{\devlink}[1]{% \ifthenelse{\equal{#1}{agriffis}}{}{}% @@ -137,4 +139,6 @@ \ifthenelse{\equal{#1}{tommy}}{https://wiki.gentoo.org/wiki/User:Tommy}{}% \ifthenelse{\equal{#1}{k_f}}{}{}% \ifthenelse{\equal{#1}{dilfridge}}{}{}% +\ifthenelse{\equal{#1}{pinkbyte}}{https://wiki.gentoo.org/wiki/User:Pinkbyte}{}% +\ifthenelse{\equal{#1}{soap}}{}{}% } |