From 66e82266c3b6f3a5aabe8b12b7b5f963ca6b27c6 Mon Sep 17 00:00:00 2001
From: Gregor Wolf <gregor.wolf@gmail.com>
Date: Sun, 17 Feb 2019 15:43:06 +0100
Subject: [PATCH] Add abaplint badge