From 28774740ef7b198182c96d33cf0bfec3f4a10faa Mon Sep 17 00:00:00 2001
From: Pieter-Jan Briers <pieterjan.briers+git@gmail.com>
Date: Fri, 22 May 2020 15:19:33 +0200
Subject: [PATCH] Delete dotnet

---
 dotnet | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 delete mode 100644 dotnet

diff --git a/dotnet b/dotnet
deleted file mode 100644
index e69de29bb2..0000000000