From 4cd9ea92567d4cd040028ad5956d9f742708f02c Mon Sep 17 00:00:00 2001 From: eudoxia Date: Thu, 6 Jan 2022 01:04:32 -0500 Subject: meta/grammar: added page title --- meta/grammar.html | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) mode change 100644 => 100755 meta/grammar.html diff --git a/meta/grammar.html b/meta/grammar.html old mode 100644 new mode 100755 index 074c4a1..fbbf4f7 --- 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;} - +Formal Grammar Specification @@ -103,4 +103,4 @@ extension : '<' anything+ '>' anything : [<all valid UTF-8 characters>] - \ No newline at end of file + -- cgit v1.2.3