AMT-Cheif
/
drift
mirror of https://github.com/AMT-Cheif/drift.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Fix one more lint in devtools extension

This commit is contained in:
Simon Binder 2023-10-18 23:16:12 +02:00
parent 22cbd241c4
commit 682e054f5e
No known key found for this signature in database
GPG Key ID: 7891917E4147B8C0
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
extras/drift_devtools_extension/lib/main.dart
View File

@ -76,7 +76,7 @@ class DriftDevtoolsBody extends ConsumerWidget {
}
class _InfoButton extends StatelessWidget {
const _InfoButton({super.key});
const _InfoButton();
@override
Widget build(BuildContext context) {