mirrors/zed
1
0
Fork 0
mirror of https://github.com/zed-industries/zed.git synced 2025-01-17 07:49:29 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 8
zed/crates/search2/src
History
Kirill Bulatov df7b89b6cb
Allow to include gitignored files into project search (#3394)
2023-11-23 19:28:11 +02:00
..
buffer_search.rs Reorganize element-related traits 2023-11-22 11:19:43 -07:00
history.rs
mode.rs fixup! Remove dead code (for now). 2023-11-17 17:22:52 +01:00
project_search.rs Port to gpui2 2023-11-23 10:44:05 +02:00
search.rs Reorganize element-related traits 2023-11-22 11:19:43 -07:00
search_bar.rs Reorganize element-related traits 2023-11-22 11:19:43 -07:00