From 8d52c402529ee0eb4720e47c1cb0a93ca2bd44e7 Mon Sep 17 00:00:00 2001
From: Yigit Sever
Date: Fri, 6 Nov 2020 20:54:17 +0300
Subject: bye vale

---
 .vale.ini | 5 -----
 1 file changed, 5 deletions(-)
 delete mode 100644 .vale.ini

diff --git a/.vale.ini b/.vale.ini
deleted file mode 100644
index e586d1b..0000000
--- a/.vale.ini
+++ /dev/null
@@ -1,5 +0,0 @@
-# Alerts are assigned a level of suggestion, warning, or error.
-MinAlertLevel = warning
-
-[*.tex]
-BasedOnStyles = write-good, proselint, Joblint
-- 
cgit v1.2.3-70-g09d2