diff options
Diffstat (limited to 'Documentation/intro-user.txt')
-rw-r--r-- | Documentation/intro-user.txt | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/Documentation/intro-user.txt b/Documentation/intro-user.txt index 75ad9c2cf4..2323df3a0c 100644 --- a/Documentation/intro-user.txt +++ b/Documentation/intro-user.txt @@ -615,8 +615,7 @@ In that case, care should be taken to prevent the CI system from exposing secret details. [[private-changes-pitfalls]] -Pitfalls -=== +=== Pitfalls If private changes are used, be aware of the following pitfalls: |