platform.in: remove @redhat@ and @mandrake@ lines, strip @alt@ prefix

The former are long unused and irrelevant,
the @alt@ prefix is a useless noise.
This commit is contained in:
Дмитрий Левин 2020-08-24 08:00:00 +00:00
parent 89f9245180
commit e66c512280

File diff suppressed because it is too large Load Diff