sourcehut to repo.or.cz migration (and final)
treee393d9b62d55461e35c0c2f6c1394f9f5033cbe9
-rw-r--r-- 96 .gitignore
drwxr-xr-x - .reuse
drwxr-xr-x - LICENSES
-rw-r--r-- 1304 README.md
-rw-r--r-- 694 book.toml
drwxr-xr-x - src