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