Commits (2)
-
Andrei Jiroh Eugenio Halili authored
Want to avoid losing unsaved work? Don't worry! Autosave is there! Signed-off-by:Andrei Jiroh Eugenio Halili <andreijiroh@madebythepins.tk>
bbe5eb43 -
Andrei Jiroh Eugenio Halili authored
Signed-off-by:Andrei Jiroh Eugenio Halili <andreijiroh@madebythepins.tk>
a5484824
Showing
.theia/settings.json
0 → 100644
bin/remove-patches
100644 → 100755