Tree: f3d8d47d03

custom

Branches Tags

${ item.name }

tag.create_tag%!(EXTRA string=${ searchTerm })

Create branch ${ searchTerm }

from 'f3d8d47d03'

${ noResults }

Commit Graph

1 Commits (f3d8d47d03a63f3ca8d0238e02ff3d829401bd52)

Author	SHA1	Message	Date
Kostas Tsiligkiris	9ed0d772da	[DOCS] Fix problem with Edit in github link The link is created with docs in it, even if the mkdocs.yml file mentions doc as the documentation folder. I am not aware if there is any other dependency in the name doc, I have renamed it to docs and changed it also in the mkdocs.yml file. It seems docs is hardcoded in the readthedocs theme :(	4 years ago
Bozhidar Batsov	dd53dc3591	[Docs] Fix some broken formatting	5 years ago
Rafael Medina	2836be0cda	Add prelude-dart module (#1272)	5 years ago