From 3510f44ef8dad9e643b307a922b5d7c9515f9a73 Mon Sep 17 00:00:00 2001
From: 6543 <6543@obermui.de>
Date: Sun, 20 May 2018 20:50:06 +0200
Subject: [PATCH] appropriate name

---
 doc/{lib-header.txt => lib-head+tail} | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 rename doc/{lib-header.txt => lib-head+tail} (100%)

diff --git a/doc/lib-header.txt b/doc/lib-head+tail
similarity index 100%
rename from doc/lib-header.txt
rename to doc/lib-head+tail