]> git.ipfire.org Git - thirdparty/babel.git/commitdiff
Merge pull request #438 from rrader/add_location_option
authorAarni Koskela <akx@iki.fi>
Mon, 21 Nov 2016 08:43:23 +0000 (10:43 +0200)
committerGitHub <noreply@github.com>
Mon, 21 Nov 2016 08:43:23 +0000 (10:43 +0200)
Add option 'add_location' for location line formatting


Trivial merge