diff options
author | tv <tv@krebsco.de> | 2018-02-28 22:51:18 +0100 |
---|---|---|
committer | tv <tv@krebsco.de> | 2018-02-28 22:51:18 +0100 |
commit | becf1ce7ac7688692c3770571387b3761be11698 (patch) | |
tree | 6238277fa4c42de03b393d89cdbb12d8582afba4 /.gitignore | |
parent | 2934d4524bcbae13043d684a27597c8b08c0851b (diff) | |
parent | 793742b9d1b2eab942e5d06ed27028c636cda583 (diff) |
Merge remote-tracking branch 'prism/master'
Diffstat (limited to '.gitignore')
-rw-r--r-- | .gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore index e1c6ef949..d17552e83 100644 --- a/.gitignore +++ b/.gitignore @@ -1,2 +1,3 @@ /.graveyard /TODO +result |