diff options
-rwxr-xr-x[-rw-r--r--] | meta/grammar.html | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/meta/grammar.html b/meta/grammar.html index 074c4a1..fbbf4f7 100644..100755 --- a/meta/grammar.html +++ b/meta/grammar.html @@ -18,7 +18,7 @@ pre a:visited {text-decoration: none; color: #ddd;} pre a:hover {text-decoration: none; color: #111; background-color: #ddd;} pre a:active {text-decoration: none; color: #ddd;} </style> -<title></title> +<title>Formal Grammar Specification</title> <meta http-equiv="last-modified" content="2021-11-16 12:20:05-05:00" /> </head> @@ -103,4 +103,4 @@ extension : '<' anything+ '>' anything : [<all valid UTF-8 characters>] </pre> </body> -</html>
\ No newline at end of file +</html> |