diff options
author | streetturtle <streetturtle@users.noreply.github.com> | 2017-07-24 14:27:02 -0400 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-07-24 14:27:02 -0400 |
commit | 89d363ec0c09dfe3cba51a2c2d266006c6fd463a (patch) | |
tree | 0a8044d6520885887432a70afdfbc99c7a98573f /todo-widget | |
parent | c9030cbe64ecae963f4134c29a67a29dd349dc8e (diff) |
case insensitive search for application name
Diffstat (limited to 'todo-widget')
0 files changed, 0 insertions, 0 deletions