diff options
author | Andrey Andreev <narf@devilix.net> | 2021-09-14 12:23:24 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-09-14 12:23:24 +0200 |
commit | 83a4588893dc1cde7d890a2461ac8af6efbf8ad7 (patch) | |
tree | 3fcf1326f538759cb4c4b3b042eeb136bce5bf97 | |
parent | 0648ae2acb3fae84f2cc49e15edb345ccef6cad5 (diff) | |
parent | d8b824b3249a6e442c580cdc231760eb86a2dcee (diff) |
[ci skip] Merge pull request #6054 from gphg/attributes
export-ignore user_guide_src/
-rw-r--r-- | .gitattributes | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/.gitattributes b/.gitattributes index a4296d591..b4f0b6cbb 100644 --- a/.gitattributes +++ b/.gitattributes @@ -18,8 +18,6 @@ readme.rst tests/codeigniter/ export-ignore tests/travis/ export-ignore -# User Guide Source Files -user_guide_src - -# User Guide Compiled Files +# User Guide source files and compiled files +user_guide_src export-ignore user_guide export-ignore |