]> git.openstreetmap.org Git - nominatim-ui.git/commitdiff
simplest Travis-CI integration, only running lint test
authormarc tobias <mtmail@gmx.net>
Mon, 10 Aug 2020 12:52:45 +0000 (14:52 +0200)
committermarc tobias <mtmail@gmx.net>
Mon, 10 Aug 2020 13:00:09 +0000 (15:00 +0200)

No differences found