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