From f2fff0d67a024693adb6a4008a0a5c1a8488ea4a Mon Sep 17 00:00:00 2001
From: Boris Glavic <lordpretzel@gmail.com>
Date: Fri, 20 May 2022 19:43:04 +0200
Subject: [PATCH] no sync

---
 main.synctex(busy) | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 delete mode 100644 main.synctex(busy)

diff --git a/main.synctex(busy) b/main.synctex(busy)
deleted file mode 100644
index e69de29..0000000