# HG changeset patch
# User David Barts <n5jrn@me.com>
# Date 1588399643 25200
# Node ID a65a8f5a96478bf46530b50a59c04e734eaf0936
# Parent  89d7f4d91f6787ec74ef6dde3fe030a39a18303a
Remove more deadwood.

diff -r 89d7f4d91f67 -r a65a8f5a9647 package-files/osx/JavaApplicationStub
--- a/package-files/osx/JavaApplicationStub	Fri May 01 23:06:04 2020 -0700
+++ b/package-files/osx/JavaApplicationStub	Fri May 01 23:07:23 2020 -0700
@@ -96,13 +96,6 @@
     die "'$java' not found or not executable"
 fi
 
-# function 'plist_get()'
-#
-# read a specific Plist key with 'PlistBuddy' utility
-#
-# @param1  the Plist key with leading colon ':'
-# @return  the value as String or Array
-################################################################################
 function plist_get {
 	/usr/libexec/PlistBuddy -c "print $1" Contents/Info.plist 2> /dev/null
 }