From 0c2a316fca473c2b89ac74192260d0c8f90f525d Mon Sep 17 00:00:00 2001
From: Ebrahim Byagowi <ebrahim@gnu.org>
Date: Thu, 25 Jul 2024 14:12:22 +0330
Subject: [PATCH] Don't use i18n-all-lists-margins module

It's now provided by elements thus not needed.

Depends-On: I404710209d59241991716bb7180bcaabcafffcec
Change-Id: I72c422c80df8f76f360b5710c3d43695e1cf64aa
---
 skin.json | 1 -
 1 file changed, 1 deletion(-)

diff --git a/skin.json b/skin.json
index f99d788..8507d82 100644
--- a/skin.json
+++ b/skin.json
@@ -80,7 +80,6 @@
 				"interface-message-box": true,
 				"interface-category": true,
 				"i18n-ordered-lists": true,
-				"i18n-all-lists-margins": true,
 				"i18n-headings": true
 			},
 			"styles": [