From 863d3cfb9be6dec03ec8069dc2e108fc9c931250 Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Thu, 31 Oct 2019 14:12:46 +0100
Subject: [PATCH] README: adjust formatting

---
 README.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/README.md b/README.md
index 205f2bd4..89236307 100644
--- a/README.md
+++ b/README.md
@@ -83,5 +83,5 @@ changes in your fork, and create a merge request.
 
 On Windows, differences in line endings may cause tests to fail. This can be 
 fixed by setting Git's autocrlf option to true:
-`git config --global core.autocrlf true`
 
+    git config --global core.autocrlf true
-- 
GitLab