From 1d42fa6213197ae2ef7802c6dd1bf3e5eade84b0 Mon Sep 17 00:00:00 2001
From: Christian Hohnstaedt <christian@hohnstaedt.de>
Date: Sun, 22 Oct 2023 09:56:59 +0200
Subject: [PATCH] Drop unneeded file ExportOptions.plist

When dropped the xcodebuild way with:
  d6d6d7d9d4477289ae5b28f0db23db31dea98e79
the ExportOptions.plist became obsolete
---
 misc/ExportOptions.plist | 14 --------------
 1 file changed, 14 deletions(-)
 delete mode 100644 misc/ExportOptions.plist

diff --git a/misc/ExportOptions.plist b/misc/ExportOptions.plist
deleted file mode 100644
index fd0a2ca2..00000000
--- a/misc/ExportOptions.plist
+++ /dev/null
@@ -1,14 +0,0 @@
-<?xml version="1.0" encoding="UTF-8"?>
-<!DOCTYPE plist PUBLIC "-//Apple//DTD PLIST 1.0//EN" "http://www.apple.com/DTDs/PropertyList-1.0.dtd">
-<plist version="1.0">
-<dict>
-	<key>destination</key>
-	<string>export</string>
-	<key>method</key>
-	<string>developer-id</string>
-	<key>signingCertificate</key>
-	<string>Developer ID Application</string>
-	<key>signingStyle</key>
-	<string>manual</string>
-</dict>
-</plist>