diff options
author | Juan Monetta <jpmonettas@gmail.com> | 2017-07-07 19:13:01 -0300 |
---|---|---|
committer | Bozhidar Batsov <bozhidar.batsov@gmail.com> | 2017-07-08 21:05:38 +0300 |
commit | ff4c0ed9bc70c3f48ad74d08c9f7c97e91b2553c (patch) | |
tree | 9cbcaaa448641778cf8d8434ca94ad23ec226ac4 /doc/images/spec_browser_all.png | |
parent | de973bd444f9e0e4fd5e3f930a9d991c2e0c047f (diff) |
Add a section in the manual for the spec browser
Diffstat (limited to 'doc/images/spec_browser_all.png')
-rw-r--r-- | doc/images/spec_browser_all.png | bin | 0 -> 129972 bytes |
1 files changed, 0 insertions, 0 deletions
diff --git a/doc/images/spec_browser_all.png b/doc/images/spec_browser_all.png Binary files differnew file mode 100644 index 00000000..a6e5867d --- /dev/null +++ b/doc/images/spec_browser_all.png |