Extended Hints - Alternative to #4971#4975
Merged
tobiasdiez merged 10 commits intoJabRef:masterfrom calixtus:tooltip-prefsMay 18, 2019
+59-15
Commits
Commits on May 17, 2019
- committed
- committed
- committed
- committed
Commits on May 18, 2019
- committed
- committed
- committed
- committed
- committed
- committed