From acd775f65e8f897fe90e68ab5fadb0ed2c82124a Mon Sep 17 00:00:00 2001
From: Stefan Breunig <stefan@mathphys.fsk.uni-heidelberg.de>
Date: Mon, 18 Feb 2013 11:59:41 +0100
Subject: [PATCH] missing headline

---
 HACKING.md | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/HACKING.md b/HACKING.md
index 9f844778..0a47e208 100644
--- a/HACKING.md
+++ b/HACKING.md
@@ -30,7 +30,10 @@ Please follow the these guidelines. Some are just preference, others are good pr
 - opening brace on the same line with a space after the if/for/etc: `if(blub) {`
 - there is no length limit on lines, but try to keep them short where suitable
 
-Sending patches:
+
+Sending patches
+---------------
+
 - use GitHub and git to fork the repository
 - use [GitHub’s pull request feature](https://help.github.com/articles/using-pull-requests) to submit patches easily
 - use one pull request for one feature – don’t put many things into one request. This makes reviewing harder for me.