2 Commits

Author	SHA1	Message	Date
inference	776ac843d2	Clean up .editorconfig ... There are unused file types and duplicate entries.	2024-04-07 19:16:29 +00:00
inference	98b3374c6b	Add ".editorconfig" ... This allows customisation of the behaviour of the front-end in regards to indent styles and indent sizes, among other options.	2024-02-15 08:17:04 +00:00