diff options
| author | Bjørn Erik Pedersen <bjorn.erik.pedersen@gmail.com> | 2019-10-21 10:21:37 +0200 |
|---|---|---|
| committer | Bjørn Erik Pedersen <bjorn.erik.pedersen@gmail.com> | 2019-10-21 10:21:51 +0200 |
| commit | 39121de4d991bdcf5f202da4d8d81a8ac6c149fc (patch) | |
| tree | 97e0b638fea1d898de9e297732d1044b49bfba8e /docs/.gitignore | |
| parent | 180195aa342777fece1b29a08ec89456d7996c61 (diff) | |
docs: Replace /docs
Diffstat (limited to 'docs/.gitignore')
| -rw-r--r-- | docs/.gitignore | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/docs/.gitignore b/docs/.gitignore deleted file mode 100644 index b203a37cd..000000000 --- a/docs/.gitignore +++ /dev/null @@ -1,5 +0,0 @@ -/.idea -/public -nohup.out -.DS_Store -trace.out
\ No newline at end of file |