diff Color.m @ 115:1fe783681f9f

noname.benchmark: added deafult value to do_profile.
author Jonatan Werpers <jonatan@werpers.com>
date Mon, 14 Dec 2015 19:07:36 +0100
parents 1770689d6c31
children 54cf593d6643
line wrap: on
line diff