From 1a53aa23120e67b287ba794258bd1695fde82f19 Mon Sep 17 00:00:00 2001 From: Bartek Pacia Date: Tue, 14 Nov 2023 19:48:34 +0100 Subject: [PATCH] fix .gitignore ignoring bundled DevTools extension code --- packages/patrol/.gitignore | 2 ++ packages/patrol/extension/devtools/.pubignore | 1 - 2 files changed, 2 insertions(+), 1 deletion(-) delete mode 100644 packages/patrol/extension/devtools/.pubignore diff --git a/packages/patrol/.gitignore b/packages/patrol/.gitignore index 5010eee06..559d871a5 100644 --- a/packages/patrol/.gitignore +++ b/packages/patrol/.gitignore @@ -4,6 +4,8 @@ # Conventional directory for build outputs. build/ +# DevTools extension code that must go with the package to pub.dev. +!extension/devtools/build/ # Omit committing pubspec.lock for library packages; see # https://dart.dev/guides/libraries/private-files#pubspeclock. diff --git a/packages/patrol/extension/devtools/.pubignore b/packages/patrol/extension/devtools/.pubignore deleted file mode 100644 index dcecfeb90..000000000 --- a/packages/patrol/extension/devtools/.pubignore +++ /dev/null @@ -1 +0,0 @@ -!./build \ No newline at end of file