diff options
Diffstat (limited to 'dev_tools/src/bin')
| -rw-r--r-- | dev_tools/src/bin/sync-examples.rs | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/dev_tools/src/bin/sync-examples.rs b/dev_tools/src/bin/sync-examples.rs index c317af6..0923b33 100644 --- a/dev_tools/src/bin/sync-examples.rs +++ b/dev_tools/src/bin/sync-examples.rs @@ -63,9 +63,6 @@ fn main() { } let dir_name = path.file_name().and_then(|n| n.to_str()).unwrap_or(""); - if !dir_name.starts_with("example-") { - continue; - } let id = dir_name.to_string(); let page_toml_path = path.join("page.toml"); |
