From a780f067fc3b29fdd69623a1a9aeed760a7b163f Mon Sep 17 00:00:00 2001 From: Matt Birkholz Date: Sun, 5 Nov 2017 15:45:38 -0700 Subject: [PATCH] debian/mit-scheme-pucked.menu: Removed in favor of the .desktop. --- debian/mit-scheme-pucked.menu | 5 ----- 1 file changed, 5 deletions(-) delete mode 100644 debian/mit-scheme-pucked.menu diff --git a/debian/mit-scheme-pucked.menu b/debian/mit-scheme-pucked.menu deleted file mode 100644 index 11c0e985d..000000000 --- a/debian/mit-scheme-pucked.menu +++ /dev/null @@ -1,5 +0,0 @@ -?package(mit-scheme-pucked):\ - section="Applications/Programming"\ - title="Friar Puck's MIT/GNU Scheme"\ - icon="/usr/share/icons/mit-scheme-pucked.svg" \ - command="/usr/bin/mit-scheme-pucked --edit" -- 2.25.1