diff --git a/examples/.DS_Store b/examples/.DS_Store deleted file mode 100644 index ebf6cdce9..000000000 Binary files a/examples/.DS_Store and /dev/null differ diff --git a/examples/pdtmc/.DS_Store b/examples/pdtmc/.DS_Store deleted file mode 100644 index 583f89c5f..000000000 Binary files a/examples/pdtmc/.DS_Store and /dev/null differ