From c1f7ba17f3d18a9fdd830f171cfcc3a508236a74 Mon Sep 17 00:00:00 2001
From: Jose V Beneyto <sepen@crux.nu>
Date: Wed, 4 Jul 2012 06:44:24 +0000
Subject: [PATCH] Removed garbage file

---
 filesystem/pro | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 delete mode 100644 filesystem/pro

diff --git a/filesystem/pro b/filesystem/pro
deleted file mode 100644
index e69de29..0000000
-- 
2.26.2