diff options
| author | Manoj Srivastava <srivasta@debian.org> | 2020-05-19 19:54:50 -0700 |
|---|---|---|
| committer | Manoj Srivastava <srivasta@debian.org> | 2020-05-19 19:54:50 -0700 |
| commit | 303867b2c314107cc81618561c3be69df19a4c9a (patch) | |
| tree | 7cfd7dfc001b8c7603192730a2e0559e0d5c7b96 /mcon/U/Obsol_sh.U | |
| parent | 9d655e91e06fda1394cc0bb1e7978c9e5484896c (diff) | |
| parent | 2cec35331a912b165e2dd135d22de81f34bbc83f (diff) | |
Merge branch 'development' into upstream
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. |