GitHub Editor - Change Default Settings JS - change default settings for the github editor Maker kufii Dagelijks aantal installaties 0 Totaal aantal installaties 68 Beoordelingen 2 0 0 Gemaakt op 03-08-2016 Bijgewerkt op 30-01-2022