no-difinoj.sed
author viric@llimona
Sun, 02 Sep 2007 16:01:27 +0200
changeset 27 153c479aa0bc
parent 5 c87681fff7d3
permissions -rwxr-xr-x
LEGUMIN kaj aliaj gxisdatigoj.
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
5
c87681fff7d3 Checks for repeated definitions.
viric@mandarina
parents:
diff changeset
     1
#!/bin/sed -f
c87681fff7d3 Checks for repeated definitions.
viric@mandarina
parents:
diff changeset
     2
c87681fff7d3 Checks for repeated definitions.
viric@mandarina
parents:
diff changeset
     3
/^----.*$/d
c87681fff7d3 Checks for repeated definitions.
viric@mandarina
parents:
diff changeset
     4
/^$/d