From 9f11822f8254a8b9a15d424d57a21bb073e5561a Mon Sep 17 00:00:00 2001
From: Thibaud Antignac <thibaud.antignac@cea.fr>
Date: Mon, 27 Nov 2017 17:26:58 +0100
Subject: [PATCH] minor

---
 CONTRIBUTING.md | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md
index 3483980a0eb..1d9e4c95110 100644
--- a/CONTRIBUTING.md
+++ b/CONTRIBUTING.md
@@ -104,6 +104,7 @@ where:
 - `<Commit message>` is your commit message;
 - `<XXX>` is the Github issue identifier.
 
+
 Developing external plug-ins
 ============================
 
@@ -165,6 +166,7 @@ plug-in is guaranteed to compile and work, independently of API changes;
 (2) updating your plug-in will only require synchronizing with the
 Frama-C snapshot repository.
 
+
 Coding conventions
 ==================
 
-- 
GitLab