Merge pull request usdoj#588 from usdoj/uninstall-devel-modules

Removing devel modules.
ameshkin · Dec 14, 2023 · d5d2941 · d5d2941
2 parents 3398213 + d110600
commit d5d2941
Showing 1 changed file with 0 additions and 2 deletions.
diff --git a/config/default/core.extension.yml b/config/default/core.extension.yml
@@ -24,8 +24,6 @@ module:
   ctools_block: 0
   datetime: 0
   dblog: 0
-  devel: 0
-  devel_kint_extras: 0
   diff: 0
   editor: 0
   embed: 0