From e78a1f0870242bda87ddb6182ac96552ce8e90bd Mon Sep 17 00:00:00 2001
From: Juan RP <xtraeme@gmail.com>
Date: Mon, 6 Apr 2020 20:55:17 +0200
Subject: [PATCH] srcpkgs: verifast is gone; get rid of a dangling symlink.

---
 srcpkgs/verifast-vfide | 1 -
 1 file changed, 1 deletion(-)
 delete mode 120000 srcpkgs/verifast-vfide

diff --git a/srcpkgs/verifast-vfide b/srcpkgs/verifast-vfide
deleted file mode 120000
index 7eed098f84a..00000000000
--- a/srcpkgs/verifast-vfide
+++ /dev/null
@@ -1 +0,0 @@
-verifast
\ No newline at end of file