Skip to main content

Browse the archive

Revision 14dc68e7d7fa376fad6e43171c8a0a7210949faa authored by Nikita Manovich on 11 April 2023, 05:21:17 UTC, committed by GitHub on 11 April 2023, 05:21:17 UTC 
Optimized jobs request (#5962)
 
 
 
 
 1 parent   c5156f4 
  
 
 
 
  
 
   Raw File             
 
 
   
   
 
 .editorconfig 
 
 
 
# EditorConfig helps developers define and maintain consistent
# coding styles between different editors and IDEs
# editorconfig.org

root = true

[*]

# Change these settings to your own preference
indent_style = space
indent_size = 4

# We recommend you to keep these unchanged
end_of_line = lf
charset = utf-8
trim_trailing_whitespace = true
insert_final_newline = true

 
 
 
  
 
   
 
   
 
 
     
  back to top