change default settings for the github editor
La data de 08-09-2019. Vezi ultima versiune.
Acestea sunt versiunile scriptului în care codul a fost actualizat. Arată toate versiunile.
fix broken libraries