diff doc/5_1_search.html @ 509:b78a91d0779e

Move get_exec_time() to debug.{c,h}.
author zas_
date Thu, 24 Apr 2008 09:43:23 +0000
parents e0d0593d519e
children 1b01410e6860
line wrap: on
line diff