diff options
| author | Paweł Redman <pawel.redman@gmail.com> | 2017-01-06 15:19:53 +0100 |
|---|---|---|
| committer | Paweł Redman <pawel.redman@gmail.com> | 2017-01-06 15:19:53 +0100 |
| commit | 8ec244c039999b0a12ab9976d8e9207ff4790200 (patch) | |
| tree | 29be2f1d20a7b24a562a017c12d356d4ff542d1a /.gitignore | |
| parent | cd539862555383e4f4f58a946bde4de628303de1 (diff) | |
Add a missing discard in p7.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions