diff options
Diffstat (limited to 'doc/source')
| -rw-r--r-- | doc/source/_static/.gitignore | 0 | ||||
| -rw-r--r-- | doc/source/_static/.placeholder | 0 | ||||
| -rw-r--r-- | doc/source/_templates/.gitignore | 0 | ||||
| -rw-r--r-- | doc/source/_templates/.placeholder | 0 |
4 files changed, 0 insertions, 0 deletions
diff --git a/doc/source/_static/.gitignore b/doc/source/_static/.gitignore deleted file mode 100644 index e69de29bb..000000000 --- a/doc/source/_static/.gitignore +++ /dev/null diff --git a/doc/source/_static/.placeholder b/doc/source/_static/.placeholder deleted file mode 100644 index e69de29bb..000000000 --- a/doc/source/_static/.placeholder +++ /dev/null diff --git a/doc/source/_templates/.gitignore b/doc/source/_templates/.gitignore deleted file mode 100644 index e69de29bb..000000000 --- a/doc/source/_templates/.gitignore +++ /dev/null diff --git a/doc/source/_templates/.placeholder b/doc/source/_templates/.placeholder deleted file mode 100644 index e69de29bb..000000000 --- a/doc/source/_templates/.placeholder +++ /dev/null |