diff --git a/share/name.tex b/share/name.tex index a6679ea51290d8a270d60c095787310aab78c241..5a7b609fa1d60926e28f11b22b731a646713ff25 100755 --- a/share/name.tex +++ b/share/name.tex @@ -12,6 +12,7 @@ \\newcommand{\\lukasb}{Lukas Bolz\\xspace} \\newcommand{\\sgalimberto}{Stefano Galimberto\\xspace} \\newcommand{\\stefano}{Stefano Galimberto\\xspace} +\\newcommand{\\sg}{Stefano Galimberto\\xspace} \\newcommand{\\tatjana}{Tatjana Grün\\xspace} \\newcommand{\\tgruen}{Tatjana Grün\\xspace} \\newcommand{\\lhaag}{Luca Haag\\xspace}