From 9aabc040d69fca14905abe3a6de70bde802bb9bf Mon Sep 17 00:00:00 2001
From: Giuliano Bellini s294739 <s294739@studenti.polito.it>
Date: Wed, 29 Nov 2023 10:41:47 +0100
Subject: [PATCH] ignore pdf files in .editorconfig

---
 .editorconfig | 10 +++++++++-
 1 file changed, 9 insertions(+), 1 deletion(-)

diff --git a/.editorconfig b/.editorconfig
index 2315b117..bf6a847e 100644
--- a/.editorconfig
+++ b/.editorconfig
@@ -18,4 +18,12 @@ indent_size = 0
 indent_size = 2
 
 [*.md]
-trim_trailing_whitespace = false
\ No newline at end of file
+trim_trailing_whitespace = false
+
+[*.pdf]
+charset = unset
+end_of_line = unset
+insert_final_newline = unset
+indent_style = unset
+indent_size = unset
+trim_trailing_whitespace = unset