Merge plugin back into main repository (#49)

2018-04-01 23:22:04 -07:00
parent c8f837d726
commit 6fa925a402
55 changed files with 1742 additions and 36 deletions
--- a/server/.editorconfig
+++ b/server/.editorconfig
@@ -0,0 +1,5 @@
+[*.rs]
+indent_style = space
+indent_size = 4
+trim_trailing_whitespace = true
+insert_final_newline = true