1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
Author: Ralf Treinen <treinen@debian.org>
Description: Fix old national character encoding in comments
Index: ocamlweb/ocamlweb.sty
===================================================================
--- ocamlweb.orig/ocamlweb.sty 2020-02-13 21:53:34.986101669 +0100
+++ ocamlweb/ocamlweb.sty 2020-02-13 21:53:34.000000000 +0100
@@ -1,5 +1,5 @@
-% This is ocamlweb.sty, by Jean-Christophe Fillitre
-% modified by Claude March
+% This is ocamlweb.sty, by Jean-Christophe Filliâtre
+% modified by Claude Marché
% This LaTeX package is used by ocamlweb (http://www.lri.fr/~filliatr/ocamlweb)
%
% You can modify the following macros to customize the appearance
|
