diff options
| -rwxr-xr-x | scripts/prune-config.sed | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/scripts/prune-config.sed b/scripts/prune-config.sed new file mode 100755 index 00000000..e2c78d81 --- /dev/null +++ b/scripts/prune-config.sed @@ -0,0 +1,9 @@ +#n + +:next +/\\$/ { + N + b next +} + +/#/p |