From 38d44eb144f10d8b691bb343351e8c8800ecbe1f Mon Sep 17 00:00:00 2001
From: Thomas Kooi
Date: Sun, 7 Oct 2018 08:11:24 +0200
Subject: [PATCH] Use CircleCI instead of Travis for build status (#6620)
* Use CircleCI instead of Travis for build status
We are no longer using Travis and the status badge should reflect this.
* Polish de other readmes
---
README.md | 4 ++--
docs/README_DE.md | 4 ++--
docs/README_PL.md | 4 ++--
3 files changed, 6 insertions(+), 6 deletions(-)
diff --git a/README.md b/README.md
index 8a49da1078..868201c9bf 100644
--- a/README.md
+++ b/README.md
@@ -21,8 +21,8 @@
-
-
+
+