From 51477c496075e5ed2c2d5c0d4aaaad8cedad85c5 Mon Sep 17 00:00:00 2001
From: Tobias Eidelpes <tobias@eidelpes.info>
Date: Sat, 8 Aug 2020 11:34:02 +0200
Subject: [PATCH] Remove unused file

---
 developments.tex | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 delete mode 100644 developments.tex

diff --git a/developments.tex b/developments.tex
deleted file mode 100644
index e69de29..0000000