parent
3850d94c4b
commit
733f4ab69f
@ -0,0 +1,25 @@
|
|||||||
|
From cdde396dff2753106ade74942a312a063f66b218 Mon Sep 17 00:00:00 2001
|
||||||
|
From: Luigi Toscano <luigi.toscano@tiscali.it>
|
||||||
|
Date: Thu, 17 Mar 2016 01:18:06 +0100
|
||||||
|
Subject: [PATCH] Fix encoding for gap.xml (use UTF-8)
|
||||||
|
|
||||||
|
The file is really ASCII-only (7 bit), so both ISO-8859-15 and UTF-8 works
|
||||||
|
but no need to use a deprecated encoding.
|
||||||
|
(this could help systems were support for those encodings has been removed).
|
||||||
|
---
|
||||||
|
src/syntax/data/gap.xml | 2 +-
|
||||||
|
1 file changed, 1 insertion(+), 1 deletion(-)
|
||||||
|
|
||||||
|
diff --git a/src/syntax/data/gap.xml b/src/syntax/data/gap.xml
|
||||||
|
index 1af543d..df766a0 100644
|
||||||
|
--- a/src/syntax/data/gap.xml
|
||||||
|
+++ b/src/syntax/data/gap.xml
|
||||||
|
@@ -1,4 +1,4 @@
|
||||||
|
-<?xml version="1.0" encoding="ISO-8859-15"?>
|
||||||
|
+<?xml version="1.0" encoding="UTF-8"?>
|
||||||
|
<!DOCTYPE language SYSTEM "language.dtd">
|
||||||
|
<!--
|
||||||
|
====================================================================
|
||||||
|
--
|
||||||
|
2.7.0
|
||||||
|
|
Loading…
Reference in new issue