[red-knot] Watch search paths (#12407)

This commit is contained in:
Micha Reiser 2024-07-24 09:38:50 +02:00 committed by GitHub
parent 8659f2f4ea
commit eac965ecaf
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
16 changed files with 409 additions and 37 deletions

View file

@ -9,7 +9,9 @@ use walk_directory::WalkDirectoryBuilder;
use crate::file_revision::FileRevision;
pub use self::path::{SystemPath, SystemPathBuf};
pub use self::path::{
deduplicate_nested_paths, DeduplicatedNestedPathsIter, SystemPath, SystemPathBuf,
};
mod memory_fs;
#[cfg(feature = "os")]