diff options
| author |   Tim Harder <radhermit@gentoo.org> | 2017-07-20 04:15:45 -0400 |
|---|---|---|
| committer | Tim Harder <radhermit@gentoo.org> | 2017-07-20 04:17:29 -0400 |
| commit | 589edc08a7701d3bab98a80942d3f573531bc0d7 (patch) | |
| tree | 15ff2fed00c6f550dc6567caefbe9f3421b31886 /media-fonts/powerline-symbols | |
| parent | dev-libs/libbsd: Removed old. (diff) | |
| download | gentoo-589edc08a7701d3bab98a80942d3f573531bc0d7.tar.gz gentoo-589edc08a7701d3bab98a80942d3f573531bc0d7.tar.bz2 gentoo-589edc08a7701d3bab98a80942d3f573531bc0d7.zip | |
sys-apps/ripgrep: tweak DESCRIPTION (bug #624496)
Diffstat (limited to 'media-fonts/powerline-symbols')
0 files changed, 0 insertions, 0 deletions