Welcome to mirror list, hosted at ThFree Co, Russian Federation.

github.com/phpredis/phpredis.git - Unnamed repository; edit this file 'description' to name the repository.
summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorTill Krüss <tillkruss@users.noreply.github.com>2022-11-09 01:59:24 +0300
committerGitHub <noreply@github.com>2022-11-09 01:59:24 +0300
commit142bddf0b71c758a0e2d8930277b61c015ed8322 (patch)
tree4081edaa53455024305a0c4056b72a64ca5eb113 /.gitattributes
parent114f4d605635cfa8755000ff4659680c713ceb06 (diff)
Add initial docs (#2249)
Initial support for `doctum` generated documentation.
Diffstat (limited to '.gitattributes')
-rw-r--r--.gitattributes5
1 files changed, 5 insertions, 0 deletions
diff --git a/.gitattributes b/.gitattributes
new file mode 100644
index 00000000..41783f23
--- /dev/null
+++ b/.gitattributes
@@ -0,0 +1,5 @@
+/.github export-ignore
+/docs export-ignore
+.gitattributes export-ignore
+.gitignore export-ignore
+.gitmodules export-ignore \ No newline at end of file