diff options
Diffstat (limited to 'dev_tools')
| -rw-r--r-- | dev_tools/src/bin/ci.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/dev_tools/src/bin/ci.rs b/dev_tools/src/bin/ci.rs index 1f536c9..3137a32 100644 --- a/dev_tools/src/bin/ci.rs +++ b/dev_tools/src/bin/ci.rs @@ -6,7 +6,7 @@ use tools::{ }; fn get_ignore_dirs() -> Vec<String> { - vec![".temp".to_string()] + vec![".temp".to_string(), "mling/res".to_string()] } fn print_help() { |