Florian Diebold fc2d286dae Clarify label documentation ... Also some other cleanups while I'm there.		2021-06-07 14:34:41 +02:00
..
dev	Clarify label documentation	2021-06-07 14:34:41 +02:00
user	Add function references hover action	2021-06-04 15:54:55 +02:00