From 6f2a3849f304f35ea31bbd5f603fd58e19b670d8 Mon Sep 17 00:00:00 2001 From: hallgren Date: Fri, 24 Sep 2010 12:57:16 +0000 Subject: [PATCH] minibar/about.html: fix typos and formatting --- src/runtime/javascript/minibar/about.html | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) diff --git a/src/runtime/javascript/minibar/about.html b/src/runtime/javascript/minibar/about.html index 92a250295..f57e5b4e0 100644 --- a/src/runtime/javascript/minibar/about.html +++ b/src/runtime/javascript/minibar/about.html @@ -42,8 +42,8 @@ Some implementation details:
  • As an experiment, it does no use the grammars.xml file, but instead calls a little CGI script, grammars.cgi - which lists the .pgf in the directory, in JSONP format. (Note: if you want to install - this on your own computer, + which lists the .pgf files in the directory, in JSONP format. + (Note: if you want to install this on your own computer,
    - Last modified: Fri May 28 18:11:05 CEST 2010 + Last modified: Tue Sep 7 14:48:13 CEST 2010
    TH