Tree: 5df7c3f4de

custom

Branches Tags

${ item.name }

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

Create branch ${ searchTerm }

from '5df7c3f4de'

${ noResults }

Commit Graph

1 Commits (5df7c3f4de97dd413d475a7f45caa8e6c15e7b17)

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	a218bfe745	Document prelude-super-keybindings	5 years ago
Bozhidar Batsov	8688173655	Document prelude-minimalistic-ui	5 years ago
Bozhidar Batsov	dd972f2031	Tweak some wording	5 years ago
Bozhidar Batsov	a09faa5f1f	Fix code examples markup	6 years ago
RohanHart	33c21ff1fe	Allow auto-formatting of files to be controlled (#1254)	6 years ago
Bozhidar Batsov	f859cf0fe8	Fix a bad merge	7 years ago
Bozhidar Batsov	4490d51798	Restructure the README into a manual	7 years ago