Daniel Hofstetter 6247986a52 docs: add extension (short options with args)		2023-05-09 10:25:04 +02:00
..
src	docs: add extension (short options with args)	2023-05-09 10:25:04 +02:00
theme	docs: create new adaptive svg logo	2022-09-01 10:55:45 +02:00
.gitignore
book.toml	docs: add installation page with package managers	2022-10-14 17:11:27 +02:00
compiles_table.csv
compiles_table.py
Makefile