diff options
| author | fpi | 2020-07-10 17:47:02 +0200 |
|---|---|---|
| committer | fpi | 2020-07-10 17:48:53 +0200 |
| commit | b31b02c8b881e9554db2c839924fc7883b61382c (patch) | |
| tree | d449b7df020494607b1ae25a8034d5a99118923e /.gitignore | |
| parent | Set visible Bell (diff) | |
Increase refile targets level some more
No performance impact yet..
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions