diff options
author | Bjørn Erik Pedersen <bjorn.erik.pedersen@gmail.com> | 2019-04-09 23:59:59 +0200 |
---|---|---|
committer | Bjørn Erik Pedersen <bjorn.erik.pedersen@gmail.com> | 2019-04-09 23:59:59 +0200 |
commit | cc98fc8ad20525d08a9c028680afba8807faa9bb (patch) | |
tree | f1642f34364b9bc45a9d42a2e84c60a579d2aedb /docs/.gitignore | |
parent | 3b86b4a9f5ce010c9714d813d5b8ecddda22c69f (diff) | |
parent | 8b73644d81a81e82851b7f7c90aa8ab5524fbe93 (diff) |
Merge commit '8b73644d81a81e82851b7f7c90aa8ab5524fbe93'
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 190dfb1ab..b203a37cd 100644 --- a/docs/.gitignore +++ b/docs/.gitignore @@ -2,3 +2,4 @@ /public nohup.out .DS_Store +trace.out
\ No newline at end of file |