Yorick Peterse 1c35317165 Revamped the profiling setup. ...

This removes the need for dozens of standalone gnuplot scripts, adds extra
profiling data and makes the actual profiling easier.

2014-05-01 20:54:25 +02:00

..

memory_time.gpi

Revamped the profiling setup.

2014-05-01 20:54:25 +02:00