diff options
Diffstat (limited to 'Documentation/infrastructure/index.md')
-rw-r--r-- | Documentation/infrastructure/index.md | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/Documentation/infrastructure/index.md b/Documentation/infrastructure/index.md index 755709ece488..744809f2fd3c 100644 --- a/Documentation/infrastructure/index.md +++ b/Documentation/infrastructure/index.md @@ -2,6 +2,11 @@ This section contains documentation about our infrastructure +## Services + +* [Project services](services.md) + + ## Jenkins builders and builds * [Setting up Jenkins build machines](builders.md) * [Coverity Scan integration](coverity.md) |