editor icon indicating copy to clipboard operation
editor copied to clipboard
verified publisher icon numbas

Make sure the extracted folder for an extension is renamed when the extension's short name changes

Open christianp opened this issue 3 years ago • 0 comments

christianp avatar Aug 24 '22 08:08 christianp