diff options
author | osch <oliver at luced de> | 2019-05-21 19:35:30 +0200 |
---|---|---|
committer | raveit65 <[email protected]> | 2019-06-03 20:36:53 +0200 |
commit | 045cda7ac4804eceda33beb8f9342c21054bd422 (patch) | |
tree | dab82944232accb694cbf1b453862e67b53fa047 /.github | |
parent | 803878a775975f2940406b27333e6c5376feb34f (diff) | |
download | mate-terminal-045cda7ac4804eceda33beb8f9342c21054bd422.tar.bz2 mate-terminal-045cda7ac4804eceda33beb8f9342c21054bd422.tar.xz |
make "highlighting things under mouse pointer" configurable
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions