diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2020-02-16 12:14:55 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-02-16 12:14:55 +0100 |
| commit | 1f448cd62db290246f8793128f85bd84aaa7a59d (patch) | |
| tree | 2c761b13444cae7c3ff069cf68ff2a9db2d4e4d5 | |
| parent | cf9142006bfa242d2bbf5916749e42327103f803 (diff) | |
docs: minor formatting in syscall_descriptions_syntax.md
| -rw-r--r-- | docs/syscall_descriptions_syntax.md | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/docs/syscall_descriptions_syntax.md b/docs/syscall_descriptions_syntax.md index 7ae2a14ef..f2c5c4744 100644 --- a/docs/syscall_descriptions_syntax.md +++ b/docs/syscall_descriptions_syntax.md @@ -1,4 +1,5 @@ -# Syscall description language (aka `syzlang` (`[siːzˈlæŋg]`)) +# Syscall description language +aka `syzlang` (`[siːzˈlæŋg]`) Pseudo-formal grammar of syscall description: |