commit | 1259eb4e4e8e7936d3dbdbd2b15f1a3eb38d50c1 | [log] [tgz] |
---|---|---|
author | azerr <angelo.zerr@gmail.com> | Wed Apr 04 09:42:13 2018 +0200 |
committer | azerr <angelo.zerr@gmail.com> | Wed Apr 04 09:42:13 2018 +0200 |
tree | 5d36cc9c4c0e5f8a4ec40947ec2b46e1bc8044c0 | |
parent | 0b66d53a6f7a1ca03c79ede469e7c0d54367d1b7 [diff] |
Bug 533192 - [CodeMining] Fix little bug with background of mining line header when line is selected Change-Id: I9ddbc1b76f9f829a5bfd336b3fa168fed22efe09 Signed-off-by: azerr <angelo.zerr@gmail.com>