On 4/21/12, Timon Gehr <[email protected]> wrote: > those could be replaced by ( , )[$-1].
Also known as indexOpRightButtCheek().
On 4/21/12, Timon Gehr <[email protected]> wrote: > those could be replaced by ( , )[$-1].
Also known as indexOpRightButtCheek().