diff options
author | Bartosz Taudul <wolf.pld@gmail.com> | 2017-10-01 21:33:18 +0300 |
---|---|---|
committer | Bartosz Taudul <wolf.pld@gmail.com> | 2017-10-01 21:33:18 +0300 |
commit | 000759782745a8c501651dcb4645184b7e998cc5 (patch) | |
tree | 5449333a92b125b2d6ea075fcec51d7484b2571f /doc | |
parent | 621b6a8c49ce12479c1f8c027c77bdae77cff03a (diff) |
Up-to-date screenshots.
Diffstat (limited to 'doc')
-rw-r--r-- | doc/cost.png | bin | 2357 -> 2427 bytes |
-rw-r--r-- | doc/profiler.png | bin | 10463 -> 10646 bytes |
2 files changed, 0 insertions, 0 deletions
diff --git a/doc/cost.png b/doc/cost.png Binary files differindex cd83e986..4632fdcf 100644 --- a/doc/cost.png +++ b/doc/cost.png diff --git a/doc/profiler.png b/doc/profiler.png Binary files differindex 3a6fe135..7f1d0430 100644 --- a/doc/profiler.png +++ b/doc/profiler.png |