diff options
author | Ondřej Hruška <ondra@ondrovo.com> | 2017-07-22 22:32:03 +0200 |
---|---|---|
committer | Ondřej Hruška <ondra@ondrovo.com> | 2017-07-22 22:32:03 +0200 |
commit | 852acbd7385a640d9e00e462d58a847851744034 (patch) | |
tree | 9158d2aea71fc1cc20a62d3f524cd159e71c947e /.gitignore | |
parent | 6913426e48b7dd5b44d9d085fdd8c4eb35903ccb (diff) |
amend 3ba7c1e7 to actually do what I wanted to do *facepalm*
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions