From 38f899350a74a404b7e987fec56ffcdde2054197 Mon Sep 17 00:00:00 2001 From: hallgren Date: Tue, 2 Oct 2012 13:57:10 +0000 Subject: [PATCH] index.html: change to and explicitly declare that the character encoding is UTF-8 ...to avoid complaints from HTML validators and potential problems in browsers with different default character encodings. --- index.html | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/index.html b/index.html index 3d1ca1c9d..316d13264 100644 --- a/index.html +++ b/index.html @@ -2,6 +2,7 @@ GF - Grammatical Framework +