Commit graph

2 commits

Author SHA1 Message Date
sergio garcia 2c831ea7a2 [Docs] Update the cheatsheet output (png and pdf). 2022-11-07 07:32:23 +01:00
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 :(
2022-04-11 09:11:28 +03:00
Renamed from doc/prelude-cheatsheet.pdf (Browse further)