Daniil Gentili be90273719 Merge remote-tracking branch 'o/main'		2023-05-26 23:47:09 +02:00
..
_config.yml	implement (much of) jekyll-github-metadata	2017-07-25 09:49:54 -04:00
.gitignore	/docs is now a Jekyll site	2017-07-25 09:49:54 -04:00
benchmarks.md	Merge remote-tracking branch 'o/main'	2023-05-26 23:47:09 +02:00
Gemfile	Update docs/Gemfile	2017-08-10 12:49:31 -04:00
index.md	Add native chroma highlighting, require forks	2022-01-29 20:17:23 +01:00
plugins.md	Emulate github-pages plugin	2017-09-01 09:10:07 -04:00