view ibin/qbf @ 2298:a795c96b61cb

<shachaf> sed -i \'s/^/echo -n "$(basename "$0"): "; /\' bin/emptylist
author HackBot
date Fri, 01 Mar 2013 01:16:38 +0000
parents 33a6019d8e99
children b044eecae124
line wrap: on
line source

#!/bin/sh
. lib/interp
interp_file ./interps/qbf/qbf.py