Bartosz Taudul f0798c4474 Update profiler screenshot.		2017-11-12 00:53:19 +01:00
..
cost.png	Up-to-date screenshots.	2017-10-01 20:33:18 +02:00
design.svg	Remove +x flag from files.	2017-10-10 21:56:15 +02:00
locks.png	Describe marking locks.	2017-10-06 19:24:53 +02:00
messages.png	Add plot and message log documentation.	2017-10-14 16:07:46 +02:00
plot.png	Add plot and message log documentation.	2017-10-14 16:07:46 +02:00
profiler.png	Update profiler screenshot.	2017-11-12 00:53:19 +01:00