src/tools/clippy/.editorconfig

   1 # EditorConfig helps developers define and maintain consistent
   2 # coding styles between different editors and IDEs
   3 # editorconfig.org
   4
   5 root = true
   6
   7 [*]
   8 end_of_line = lf
   9 charset = utf-8
  10 trim_trailing_whitespace = true
  11 insert_final_newline = true
  12 indent_style = space
  13 indent_size = 4
  14
  15 [*.md]
  16 trim_trailing_whitespace = false
  17
  18 [*.yml]
  19 indent_size = 2