From 731a73eab8c928b079c5c35c2f8c888dfc87ca98 Mon Sep 17 00:00:00 2001
From: Bdale Garbee <bdale@gag.com>
Date: Sat, 28 Jul 2018 11:15:17 +0800
Subject: [PATCH] eliminate obsolete menu file

---
 debian/changelog | 1 +
 debian/menu      | 6 ------
 2 files changed, 1 insertion(+), 6 deletions(-)
 delete mode 100644 debian/menu

diff --git a/debian/changelog b/debian/changelog
index d02e2e4c..962b0287 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -3,6 +3,7 @@ openrocket (15.03.2) unstable; urgency=medium
   * rework code to fetch from new upstream home on github, closes: #760961
   * force use of java-8 since app crashes with newer java versions
   * update standards version
+  * eliminate obsolete menu file
 
  -- Bdale Garbee <bdale@gag.com>  Sat, 28 Jul 2018 10:29:19 +0800
 
diff --git a/debian/menu b/debian/menu
deleted file mode 100644
index 78ea6bcc..00000000
--- a/debian/menu
+++ /dev/null
@@ -1,6 +0,0 @@
-?package(openrocket): \
-	needs="X11" \
-	section="Applications/Editors" \
-	title="openrocket" \
-	command="/usr/bin/openrocket" \
-	icon="/usr/share/pixmaps/openrocket.xpm"
-- 
2.30.2