Closed Ayushk4 closed 5 years ago
I am adding favicon for the docs. The image has been obtained from Github Org logo of JuliaText.
It's like the following after building docs locally.
This is done from my side and is ready for getting reviewed.
Merging this.
I am adding favicon for the docs. The image has been obtained from Github Org logo of JuliaText.
It's like the following after building docs locally.