Indicate that there is information on DoT hover #1232

Merged

dawidpotocki merged 1 commits from reallynicequestionmark into master 2019-08-28 19:19:29 +00:00

Conversation 13 Commits 1 Files Changed 1 +3 -3

1 Commits

Author	SHA1	Message	Date
Dawid Potocki	33badc8b48	Indicate that there is information on DoT hover ... Fixes #1199	2019-08-29 07:10:35 +12:00