diff options
Diffstat (limited to 'print/hyperlatex/files/patch-aa')
-rw-r--r-- | print/hyperlatex/files/patch-aa | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/print/hyperlatex/files/patch-aa b/print/hyperlatex/files/patch-aa deleted file mode 100644 index ff8275601a9c..000000000000 --- a/print/hyperlatex/files/patch-aa +++ /dev/null @@ -1,11 +0,0 @@ ---- siteinit.hlx~ Tue Sep 15 13:42:22 1998 -+++ siteinit.hlx Mon Aug 2 12:49:53 1999 -@@ -11,7 +11,7 @@ - %% This should be the URL for the icons used in the navigation panels - %% must end with a slash, unless you leave it empty - %% (empty means the icons are in the same directory as the HTML file) --\newcommand{\HlxIcons}{http://www.cs.ust.hk/\~{}otfried/img/} -+\newcommand{\HlxIcons}{} - - %% - %% ---------------------------------------------------------------------- |