change default settings for the github editor
2018-05-09 या दिनांकाला. सर्वात नवीन आवृत्ती पाहा.
या स्क्रिप्टच्या अशा आवृत्त्या ज्यांत कोड अपडेट करण्यात आले होते. सर्व आवृत्त्या दाखवा.
fix broken libraries
