diff options
author | H.Merijn Brand - Tux <h.m.brand@xs4all.nl> | 2020-04-25 16:49:47 +0200 |
---|---|---|
committer | Raphaƫl Manfredi <Raphael_Manfredi@pobox.com> | 2020-04-26 10:26:17 +0200 |
commit | 9f837754617b4cb3a6b2dbd176e621ad83bd4c15 (patch) | |
tree | a65cc5e00a433d8c74775e97a1c4e69c2a6c7dcf /mcon/U/Obsol_h.U | |
parent | 50c6eebba8951436381819ea6f22b94171a0e7f5 (diff) |
Fix repeated-word typos
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. |