]> git.tuebingen.mpg.de Git - paraslash.git/commitdiff
Constify argument of check_filter_arg().
authorAndre Noll <maan@tuebingen.mpg.de>
Wed, 17 Aug 2016 18:15:11 +0000 (20:15 +0200)
committerAndre Noll <maan@tuebingen.mpg.de>
Mon, 22 Aug 2016 12:57:57 +0000 (14:57 +0200)
The function does not modify the memory pointed to by "fa".


No differences found