Ajeet D'SouzaandGitHub 4cba9808ff Lazily delete excluded directories (#809)

2024-05-05 19:48:33 +05:30

..

cmd

Lazily delete excluded directories (#809)

2024-05-05 19:48:33 +05:30

db

Lazily delete excluded directories (#809)

2024-05-05 19:48:33 +05:30

config.rs

Added better output in query when already in the matched directory (#463)

2023-01-09 15:55:33 +05:30

error.rs

Use formatter from nightly

2022-09-16 22:24:46 +05:30

main.rs

Formatting

2023-03-01 13:55:22 +05:30

shell.rs

Add DeepSource

2023-05-07 19:54:24 +05:30

util.rs

Fix CI

2023-11-19 13:29:11 +05:30