From 35efd72f3fc0e6f666b8728bcefd5bb146f2f362 Mon Sep 17 00:00:00 2001
From: John Benediktsson <mrjbq7@gmail.com>
Date: Wed, 25 Oct 2017 15:06:03 -0700
Subject: [PATCH] merger: remove platforms.txt.

---
 extra/merger/platforms.txt | 1 -
 1 file changed, 1 deletion(-)
 delete mode 100644 extra/merger/platforms.txt

diff --git a/extra/merger/platforms.txt b/extra/merger/platforms.txt
deleted file mode 100644
index 6e806f449e..0000000000
--- a/extra/merger/platforms.txt
+++ /dev/null
@@ -1 +0,0 @@
-macosx