diff options
| author | Yong He <yonghe@outlook.com> | 2024-02-05 16:15:21 -0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-02-05 16:15:21 -0800 |
| commit | 71439f700b845e8d8336041c6d6824f01b7c9067 (patch) | |
| tree | 5664ce2d577a79043f723ee8c3061d863f092d5e /docs/user-guide/01-get-started.md | |
| parent | 6dca7e39292e6c5672440f6f1dbfb204a79b90d2 (diff) | |
Add documentation on capability system. (#3549)
Fixes #3454.
Diffstat (limited to 'docs/user-guide/01-get-started.md')
| -rw-r--r-- | docs/user-guide/01-get-started.md | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/docs/user-guide/01-get-started.md b/docs/user-guide/01-get-started.md index 27ac956d0..a7cf2ddf1 100644 --- a/docs/user-guide/01-get-started.md +++ b/docs/user-guide/01-get-started.md @@ -1,5 +1,6 @@ --- layout: user-guide +permalink: /user-guide/get-started --- # Getting Started with Slang |