| commit | 45169f78516e20ee3e36c45c0f147dc8aec5689a | |
| author | Jiří Techet <techet@gmail.com> | |
| Sun, 12 Dec 2021 21:48:19 +0000 (12 22:48 +0100) | ||
| committer | Jiří Techet <techet@gmail.com> | |
| Thu, 13 Jan 2022 14:48:31 +0000 (13 15:48 +0100) | ||
| tree | e8bd538f9c2f0096e13dc8e76ba5c657ceb14cb5 | treesnapshot (tar.gz zip) |
| parent | 684c189bf2910c20d21f830dc14a91ecc8c66472 | commitdiff |
Make tag filtering case-insensitive
Code mostly stolen from the plugin manager.
Code mostly stolen from the plugin manager.
| src/symbols.c | diffblobblamehistory |