diff options
author | jkoan <jkoan@users.noreply.github.com> | 2018-06-01 08:26:57 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-06-01 08:26:57 +0200 |
commit | f8353a61bcd50b10804f822f484a5cf1bdd2c891 (patch) | |
tree | 1c98a50e0019fae89b16db2b874f26de3c5c601f | |
parent | 00546d7ef41e90d4108761e2520aa946b224f347 (diff) | |
download | navit-f8353a61bcd50b10804f822f484a5cf1bdd2c891.tar.gz |
Rename navit_checkstyle.xml to checkstyle.xml
-rw-r--r-- | checkstyle.xml (renamed from navit_checkstyle.xml) | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/navit_checkstyle.xml b/checkstyle.xml index cff784874..cff784874 100644 --- a/navit_checkstyle.xml +++ b/checkstyle.xml |