diff options
Diffstat (limited to 'doc/.gitignore')
-rw-r--r-- | doc/.gitignore | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/doc/.gitignore b/doc/.gitignore deleted file mode 100644 index 9c07b333..00000000 --- a/doc/.gitignore +++ /dev/null @@ -1,9 +0,0 @@ -context-providers.html -context-intro.html -context-properties.html -context-provider-schema.html -context.html -contextkit.html -use-cases.html -context-arch.html -context-types.html |