# HG changeset patch
# User HackBot
# Date 1492453251 0
# Node ID 2849cbc2dc08da25c3865fd6827a6fa312aa536f
# Parent  2c99dc16504d1cec84f6cc67606018d5e6f96ff6
<moonythedwarf> revert

diff -r 2c99dc16504d -r 2849cbc2dc08 bin/`
--- a/bin/`	Mon Apr 17 18:17:36 2017 +0000
+++ b/bin/`	Mon Apr 17 18:20:51 2017 +0000
@@ -0,0 +1,4 @@
+#!/bin/bash
+TIMEFORMAT="real: %lR, user: %lU, sys: %lS"
+shopt -s extglob globstar
+eval -- "$1" | rnooodl