diff options
| author | Uri Zafrir <urizaf@gmail.com> | 2023-08-23 18:18:25 +0300 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-08-23 15:18:25 +0000 |
| commit | 4a435ad2288bffd5c28d90758e4e26160b53fb8c (patch) | |
| tree | 8ce664608b5c491da34a0d0de076055b5c7a3725 /doc | |
| parent | 6459a1c7ad1ad1a88fae42f9737e969c6ae89679 (diff) | |
Add introductory sentence to advanced topics (#8861)
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/manual/src/advanced-topics/advanced-topics.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/manual/src/advanced-topics/advanced-topics.md b/doc/manual/src/advanced-topics/advanced-topics.md index 8b1378917..9a4d12a33 100644 --- a/doc/manual/src/advanced-topics/advanced-topics.md +++ b/doc/manual/src/advanced-topics/advanced-topics.md @@ -1 +1 @@ - +This section lists advanced topics related to builds and builds performance |