From 64031e7f13de4af6345e21e5279b0102f08cc5b7 Mon Sep 17 00:00:00 2001
From: bg <daniel.otte@rub.de>
Date: Wed, 19 Sep 2012 18:01:30 +0200
Subject: [PATCH] forgotten file

---
 header_install_modifier.sed | 2 ++
 1 file changed, 2 insertions(+)
 create mode 100644 header_install_modifier.sed

diff --git a/header_install_modifier.sed b/header_install_modifier.sed
new file mode 100644
index 0000000..f5ebb77
--- /dev/null
+++ b/header_install_modifier.sed
@@ -0,0 +1,2 @@
+s-^[\t\ ]*#include[\t\ ]*\"\([^\"]*\)\"-#include <crypto/\1>-g
+