fix .gitignore ignoring bundled DevTools extension code

leancodepl · Nov 14, 2023 · 1a53aa2 · 1a53aa2
1 parent 2b66629
commit 1a53aa2
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 1 deletion.
diff --git 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