3 Commits

Author	SHA1	Message	Date
Max Schmitt	79b244a2f4	chore: use bash instead of sh in code blocks (#6847)	2021-06-02 18:23:06 +02:00
Max Schmitt	e0aaef5eab	docs: get rid of dollar sign prefix in code snippets (#6494)	2021-05-11 20:47:48 +02:00
Andrey Lushnikov	377404448c	devops: add script to generate shared object => package mapping (#3022) ... We use this mapping to provide recommendations on which packages to install on Linux distributions. References #2745	2020-07-20 10:35:42 -07:00