zed-industries/zed
1
1
Fork 0
mirror of https://github.com/zed-industries/zed.git synced 2024-11-08 07:35:01 +03:00
Code Issues Packages Projects Releases Wiki Activity
6680e1e9fe
zed/crates/project2
History
Max Brunsfeld 32979f3aca Rename deprioritize_task -> deprioritize 
It applies to a family of tasks, not a task.
2023-11-16 20:03:18 -08:00
..
src Rename deprioritize_task -> deprioritize 2023-11-16 20:03:18 -08:00
Cargo.toml git -> git3 2023-11-02 19:18:01 -06:00