diff options
| author | Markus Heiser <markus.heiser@darmarIT.de> | 2022-03-13 23:12:46 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-03-13 23:12:46 +0100 |
| commit | cd92a7eacdd6b4c333e57111e1503b8455628067 (patch) | |
| tree | a2f72a42d2024c1f612bee5f9058920c643e6878 /docs/user/.gitignore | |
| parent | e847313007aa3a61c26acda122bb183df1df76a7 (diff) | |
| parent | 1157462ff9fc08504297e259356ccbefb339965f (diff) | |
Merge pull request #930 from return42/merge-user-doc2
Integrate the user documentation into the application
Diffstat (limited to 'docs/user/.gitignore')
| -rw-r--r-- | docs/user/.gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/docs/user/.gitignore b/docs/user/.gitignore new file mode 100644 index 000000000..2e1fa2d52 --- /dev/null +++ b/docs/user/.gitignore @@ -0,0 +1 @@ +*.md
\ No newline at end of file |