diff options
Diffstat (limited to 'doc/user/search/img')
-rw-r--r-- | doc/user/search/img/project_code_search.png | bin | 0 -> 24924 bytes |
-rw-r--r-- | doc/user/search/img/project_search_dropdown.png | bin | 0 -> 117963 bytes |
2 files changed, 0 insertions, 0 deletions
diff --git a/doc/user/search/img/project_code_search.png b/doc/user/search/img/project_code_search.png Binary files differnew file mode 100644 index 00000000000..5412f614a74 --- /dev/null +++ b/doc/user/search/img/project_code_search.png diff --git a/doc/user/search/img/project_search_dropdown.png b/doc/user/search/img/project_search_dropdown.png Binary files differnew file mode 100644 index 00000000000..e0b922a186b --- /dev/null +++ b/doc/user/search/img/project_search_dropdown.png |