From 584aabfeeb4e45897c73d401515f3d8890ae5239 Mon Sep 17 00:00:00 2001
From: rswindell <>
Date: Sat, 28 Mar 2020 22:20:36 +0000
Subject: [PATCH] A wrapper script for console.editfile().

---
 exec/editfile.js | 4 ++++
 1 file changed, 4 insertions(+)
 create mode 100644 exec/editfile.js

diff --git a/exec/editfile.js b/exec/editfile.js
new file mode 100644
index 0000000000..be6d74c1b7
--- /dev/null
+++ b/exec/editfile.js
@@ -0,0 +1,4 @@
+// $Id$
+
+if(argv[0])
+	console.editfile(argv[0]);
\ No newline at end of file
-- 
GitLab