Rewritten measuring of time.

[eval.git] / template / .rh_opt.gpr

diff --git a/template/.rh_opt.gpr b/template/.rh_opt.gpr
index 4f5ebf93db50938fc9970bf1cad4b378876ef983..9fe4aae41b2b452139068243211a358c79379a55 100644 (file)
Binary files a/template/.rh_opt.gpr and b/template/.rh_opt.gpr differ