diff default_arg.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 48b6fb693025
children
line wrap: on
line diff