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/Obsol_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/Obsol_sh.U')
-rw-r--r-- | mcon/U/Obsol_sh.U | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/mcon/U/Obsol_sh.U b/mcon/U/Obsol_sh.U index de1a1e1..3b3f0d6 100644 --- a/mcon/U/Obsol_sh.U +++ b/mcon/U/Obsol_sh.U @@ -20,7 +20,7 @@ ?MAKE: -pick prepend $@ ./Obsol_sh ?LINT:nocomment # -# The following symbols are obsolete. They are mapped to the the new +# The following symbols are obsolete. They are mapped to the new # symbols only to ease the transition process. The sources should be # updated so as to use the new symbols only, since supporting of those # obsolete symbols may end without notice. |