.git broken, restart

2026-01-23 08:55:18 +01:00
commit d1be8ebdca
206 changed files with 8431 additions and 0 deletions
@@ -0,0 +1,6 @@
+#!/bin/bash
+header_awk () 
+{ 
+    grep --color=auto -RE $CFUNCTION src | cut -d: -f2 | sed s/\$/';'/g
+}
+header_awk "$@"