Wed, 17 Jan 2018 18:14:57 +0000
Improved CSS for different display sizes
--@module err local err={} function err.file_pos(f, pos, e) error(string.format("%s:%d: %s", f, pos, e)) end function err.file(f, e) error(string.format("%s %s", f, e)) end return err