diff options
author | Jörg Thalheim <Mic92@users.noreply.github.com> | 2017-05-16 20:15:34 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-05-16 20:15:34 +0100 |
commit | d582db06181c44a4e0b0b4dd9d164371e440429a (patch) | |
tree | d0576b807c57ee275661f1abd5cdfffba3c9396c /pkgs/misc/themes | |
parent | 864ef0997bd7e3453707b6a4feb114e1f693c687 (diff) | |
parent | 56393d447100a379b963a41fb218e9c3f67d0f7f (diff) |
Merge pull request #25811 from mimadrid/update/ripgrep-0.5.2
ripgrep: 0.5.1 -> 0.5.2
Diffstat (limited to 'pkgs/misc/themes')
0 files changed, 0 insertions, 0 deletions