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 /config | |
| parent | 6913426e48b7dd5b44d9d085fdd8c4eb35903ccb (diff) | |
amend 3ba7c1e7 to actually do what I wanted to do *facepalm*
Diffstat (limited to 'config')
0 files changed, 0 insertions, 0 deletions