# HG changeset patch
# User HackBot
# Date 1485548560 0
# Node ID d390dffa65b857dcd87e25eb67c6a79cf6f6319a
# Parent  03ab1a0909e20328900ed0964acac417c55f6ddb
<wob_jonas> `` c=ibin/lua; >$c echo $\'#!/bin/sh\\n. lib/interp\\ninterp_file lua\' && chmod -c a+x ibin/lua

diff -r 03ab1a0909e2 -r d390dffa65b8 ibin/lua
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/ibin/lua	Fri Jan 27 20:22:40 2017 +0000
@@ -0,0 +1,3 @@
+#!/bin/sh
+. lib/interp
+interp_file lua