diff options
author | eudoxia <uplink@distress.network> | 2022-01-06 01:04:32 -0500 |
---|---|---|
committer | eudoxia <uplink@distress.network> | 2022-01-06 01:04:32 -0500 |
commit | 4cd9ea92567d4cd040028ad5956d9f742708f02c (patch) | |
tree | aec42517848267afa6dfaaa2c303daa2b3d5711d | |
parent | d299f2616a7859d3348c72691e6a2151ad309f17 (diff) |
meta/grammar: added page title
-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> |