]> git.tuebingen.mpg.de Git - dss.git/commitdiff
Simplify split_args().
authorAndre Noll <maan@tuebingen.mpg.de>
Wed, 6 Feb 2019 16:37:25 +0000 (17:37 +0100)
committerAndre Noll <maan@tuebingen.mpg.de>
Sun, 13 Oct 2019 03:58:52 +0000 (05:58 +0200)
Both callers pass the same value for the delimiters, so we can
remove the last argument of the function.


No differences found