From b02aeb87327c9df83e81810d829efad68ec16851 Mon Sep 17 00:00:00 2001
From: Ben Ramsey <ben@benramsey.com>
Date: Fri, 6 Aug 2021 14:38:03 -0500
Subject: [PATCH] chore: remove repl script

---
 resources/repl.php | 8 --------
 1 file changed, 8 deletions(-)
 delete mode 100755 resources/repl.php

diff --git a/resources/repl.php b/resources/repl.php
deleted file mode 100755
index 0d523b0..0000000
--- a/resources/repl.php
+++ /dev/null
@@ -1,8 +0,0 @@
-#!/usr/bin/env php
-<?php
-
-declare(strict_types=1);
-
-require_once dirname(__FILE__) . '/../vendor/autoload.php';
-
-Psy\bin()();