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_h.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_h.U')
| -rw-r--r-- | mcon/U/Obsol_h.U | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/mcon/U/Obsol_h.U b/mcon/U/Obsol_h.U index fc59938..c19c5a4 100644 --- a/mcon/U/Obsol_h.U +++ b/mcon/U/Obsol_h.U @@ -20,7 +20,7 @@ ?MAKE: -pick prepend $@ ./Obsol_h ?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, as the support for these * obsolete symbols may end without notice. |