diff options
author | Manoj Srivastava <srivasta@debian.org> | 2020-05-19 21:29:57 -0700 |
---|---|---|
committer | Manoj Srivastava <srivasta@debian.org> | 2020-05-19 21:29:57 -0700 |
commit | 11948971f110800dc35b4f6fec90cc01bebd6a7e (patch) | |
tree | d69e6f034efc4ace4c2d573a50153b7a875915f1 /mcon/U/Config_sh.U | |
parent | 7c4aad4e01c8278e073d28a5c1f59b12582431c1 (diff) | |
parent | 50ca5b27f2f7c51d062b3a89d334f7243f467078 (diff) |
Merge branch 'master' into dgit/sidHEADdebian/1%3.5-236-1archive/debian/1%3.5-236-1master
Diffstat (limited to 'mcon/U/Config_sh.U')
-rw-r--r-- | mcon/U/Config_sh.U | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/mcon/U/Config_sh.U b/mcon/U/Config_sh.U index bb47b7b..1b3b0c6 100644 --- a/mcon/U/Config_sh.U +++ b/mcon/U/Config_sh.U @@ -32,7 +32,7 @@ ?MAKE: -pick add.Config_sh $@ %< ?MAKE: -pick add $@ ./Obsol_sh ?MAKE: -pick close.Config_sh $@ %< -?F:!config.over !config.arch +?F:!config.over !config.arch config.sh ?T:file sfile xsed ?LINT:unclosed EOT : back to where it started |