Actions
Feature proposal #6017
closedRemove overlib
Feature proposal #6017:
Remove overlib
Description
Overlib is no longer used. Completely remove its JS.
Actions
Added by krileon about 10 years ago. Updated almost 10 years ago.
Description
Overlib is no longer used. Completely remove its JS.
Implemented in MR !1074