]> git.openstreetmap.org Git - nominatim-ui.git/commitdiff
Merge pull request #28 from mtmail/travis-ci
authormtmail <mtmail@gmx.net>
Mon, 10 Aug 2020 13:01:32 +0000 (15:01 +0200)
committerGitHub <noreply@github.com>
Mon, 10 Aug 2020 13:01:32 +0000 (15:01 +0200)
simplest Travis-CI integration, only running lint test


Trivial merge