no-difinoj.sed
changeset 5 c87681fff7d3
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/no-difinoj.sed	Mon Aug 13 16:27:41 2007 +0200
@@ -0,0 +1,4 @@
+#!/bin/sed -f
+
+/^----.*$/d
+/^$/d