From fcb43515dd8e29c8b3b6c7540b7a489bd3637003 Mon Sep 17 00:00:00 2001
From: Pekka Laiho <pekka.i.laiho@gmail.com>
Date: Wed, 10 Jun 2020 19:44:56 +0700
Subject: [PATCH] rename repl.php to run.php

---
 repl.php => run.php | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 rename repl.php => run.php (100%)

diff --git a/repl.php b/run.php
similarity index 100%
rename from repl.php
rename to run.php