diff options
Diffstat (limited to 'Documentation/infrastructure/index.md')
| -rw-r--r-- | Documentation/infrastructure/index.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Documentation/infrastructure/index.md b/Documentation/infrastructure/index.md index 744809f2fd3c..67486377623c 100644 --- a/Documentation/infrastructure/index.md +++ b/Documentation/infrastructure/index.md @@ -5,7 +5,7 @@ This section contains documentation about our infrastructure ## Services * [Project services](services.md) - +* [Administrator's handbook](admin.md) ## Jenkins builders and builds * [Setting up Jenkins build machines](builders.md) |