diff options
| author | Pierre-Marie Pédrot | 2020-11-19 13:31:15 +0100 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2020-11-19 16:22:34 +0100 |
| commit | 5bda98c882131dd35f81313d83a9e73e2a25a416 (patch) | |
| tree | 60a6f5ad6a7040a097d96154404d45f6bbd5ed24 /plugins | |
| parent | 01dea073194bf788414af549cc2753917540e964 (diff) | |
Modular printing algorithm for bench/render_results.
The old code was a mess of handwritten ad-hoc code to print the result table
in a fancy way. Instead of hardcoding everything this patch introduces a
generic function to print a table of data. This will allow extension of the
profiling information displayed to the user in an easy way.
Diffstat (limited to 'plugins')
0 files changed, 0 insertions, 0 deletions