Remove plugin source, moved to rojo-plugin

2026-04-22 21:55:15 +00:00 · 2017-12-08 16:50:30 -08:00
parent c9a53debc3
commit d5b41e2bd4
23 changed files with 4 additions and 1300 deletions
--- a/.editorconfig
+++ b/.editorconfig
@@ -4,11 +4,6 @@ root = true
 end_of_line = lf
 charset = utf-8

-[*.lua]
-indent_style = tab
-trim_trailing_whitespace = true
-insert_final_newline = true
-
 [*.rs]
 indent_style = space
 indent_size = 4