diff options
author | Bjørn Erik Pedersen <bjorn.erik.pedersen@gmail.com> | 2017-09-28 17:22:55 +0200 |
---|---|---|
committer | Bjørn Erik Pedersen <bjorn.erik.pedersen@gmail.com> | 2017-09-28 17:22:55 +0200 |
commit | b6a30283f099ce9578d491ba8fbbf45f673dbf3b (patch) | |
tree | ca1a6fcc73cbf1610b591e7c7d33a308ad5080a4 /docs/.gitignore | |
parent | 57adc539fc98dcb6fba8070b9611b8bd545f6f7f (diff) | |
parent | 9d68f695e782c6a83c77aff13317c7a22c694c98 (diff) |
Merge commit '9d68f695e782c6a83c77aff13317c7a22c694c98'
Diffstat (limited to 'docs/.gitignore')
-rw-r--r-- | docs/.gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/docs/.gitignore b/docs/.gitignore index 665360d49..dd088ba8f 100644 --- a/docs/.gitignore +++ b/docs/.gitignore @@ -1,2 +1,3 @@ /.idea /public +nohup.out |