Merge pull request #93774 from Ma27/riot-removal
riot-{web,desktop}: throw an error to use element-web
This commit is contained in:
commit
b1b06de987
|
@ -449,8 +449,6 @@ mapAliases ({
|
|||
rdiff_backup = rdiff-backup; # added 2014-11-23
|
||||
rdmd = dtools; # added 2017-08-19
|
||||
rhc = throw "deprecated in 2019-04-09: abandoned by upstream.";
|
||||
riot-desktop = element-desktop; # added 2020-07-15
|
||||
riot-web = element-web; # added 2020-07-15
|
||||
rng_tools = rng-tools; # added 2018-10-24
|
||||
robomongo = robo3t; #added 2017-09-28
|
||||
rssglx = rss-glx; #added 2015-03-25
|
||||
|
@ -716,4 +714,8 @@ mapAliases ({
|
|||
sqldeveloper_18 = throw "sqldeveloper_18 is not maintained anymore!"; # added 2020-02-04
|
||||
|
||||
gcc-snapshot = throw "Marked as broken for >2 years, additionally this 'snapshot' pointed to a fairly old one from gcc7.";
|
||||
|
||||
/* Cleanup before 21.03 */
|
||||
riot-desktop = throw "riot-desktop is now element-desktop!";
|
||||
riot-web = throw "riot-web is now element-web";
|
||||
})
|
||||
|
|
Loading…
Reference in a new issue