Arjo Chakravarty f75bad52d7 Update docs link ... The current doc link was broken. replaced with the updated version as found on the front page.		2022-04-17 20:32:06 +08:00
..
dev	Update docs link	2022-04-17 20:32:06 +08:00
user	Remove old inlay hints settings	2022-04-16 08:05:07 +03:00