From 02b2cc92104fe161403609feb3c7991a5a7280c0 Mon Sep 17 00:00:00 2001
From: Paul Gschwendtner <paulgschwendtner@gmail.com>
Date: Fri, 14 Apr 2017 13:07:28 -0700
Subject: [PATCH] chore: remove public folder (#4061)

* Removes the unused `public` folder from the repository.
---
 public/empty-placeholder | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 delete mode 100644 public/empty-placeholder

diff --git a/public/empty-placeholder b/public/empty-placeholder
deleted file mode 100644
index e69de29bb2d..00000000000