Jarek Radosz ddbe6cf3b5

DEV: Remove site setting "diags" (#20481) ...

Added almost exactly 10 years ago (in a2cca2540efc9a5b7a2091a98fb2e5153d395ca5), I don't think they're useful anymore 😅

2023-03-01 11:31:57 +01:00

..

images

FIX: fallback to default push notification icon if none exists (#16961)

2022-06-01 12:00:05 +10:00

javascripts

DEV: Remove site setting "diags" (#20481)

2023-03-01 11:31:57 +01:00

stylesheets

FIX: Copy & Fullscreen button edits in codeblocks (#20483)

2023-02-28 10:54:24 -06:00