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