]> git.tuebingen.mpg.de Git - dss.git/commitdiff
Fixed typo.
authorSanja Jasek <sanja.jasek@tuebingen.mpg.de>
Fri, 1 Jun 2018 19:53:03 +0000 (21:53 +0200)
committerAndre Noll <maan@tuebingen.mpg.de>
Mon, 4 Jun 2018 11:19:31 +0000 (13:19 +0200)
Signed-off-by: Andre Noll <maan@tuebingen.mpg.de>

No differences found