From 811aefd0dfdb0bc93ffa8e2c6283c372159ff4ea Mon Sep 17 00:00:00 2001
From: Bruce Hill <bruce@bruce-hill.com>
Date: Mon, 31 Dec 2018 01:52:46 -0800
Subject: Added replace -q and chmod +x'd two tools.

---
 tools/repl.nom | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 mode change 100644 => 100755 tools/repl.nom

(limited to 'tools/repl.nom')

diff --git a/tools/repl.nom b/tools/repl.nom
old mode 100644
new mode 100755
-- 
cgit v1.2.3