WARNING! Gitlab maintenance operation scheduled for Monday, 20 April between 12:00 and 14:00 (CET). During this time window, short service interruptions (less than 5 minutes) may occur. Thank you in advance for your understanding.

Commit 68c062ee authored Apr 07, 2025 by ankraft

Changed some character replcements

parent 4bfb77b7

config.ini

+5 −3

Original line number	Original line	Diff line number	Diff line
	@@ -143,12 +143,14 @@ ff09 = 2920
	d7 = 78		d7 = 78
	; Ligature "fi"		; Ligature "fi"
	fb01 = 6669		fb01 = 6669
			; "<=>"
			; f0df = 3c3d3e
			; "<="
			f0df = 3c3d
	; "<="		; "<="
	f0fd = 3c3d		;f0fd = 3c3d
	; "=>"		; "=>"
	f0e0 = 3d3e		f0e0 = 3d3e
	; "<=>"
	f0df = 3c3d3e
	; "<->"		; "<->"
	f0f3 = 266c743b2d3e		f0f3 = 266c743b2d3e
	; subscript 2		; subscript 2