From 79310d736c59d0fce1ad28e4a5f2d8996fefb210 Mon Sep 17 00:00:00 2001 From: Eli Zaretskii Date: Tue, 30 Jun 2015 20:13:35 +0300 Subject: [PATCH] ; * src/doc.c: Add a 'coding' cookie. --- src/doc.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/doc.c b/src/doc.c index 655b9117d6d..78a7815aade 100644 --- a/src/doc.c +++ b/src/doc.c @@ -1,4 +1,4 @@ -/* Record indices of function doc strings stored in a file. +/* Record indices of function doc strings stored in a file. -*- coding: utf-8 -*- Copyright (C) 1985-1986, 1993-1995, 1997-2015 Free Software Foundation, Inc. -- 2.39.2