update grade averages UI and enable devtools extensions

2026-02-01 15:06:49 +01:00
parent 7a3a022ecd
commit c9eaed782a
2 changed files with 14 additions and 3 deletions
--- a/devtools_options.yaml
+++ b/devtools_options.yaml
@@ -1 +1,4 @@
 extensions:
+  - hive_ce: true
+  - shared_preferences: true
+  - provider: true