Paolo Giannozzi 6148f5e5c5 Obscure line present in all examples replaced with a much simpler one. ... See https://stackoverflow.com/questions/50148175/what-does-cd-echo-0-sed-s-1-do-in-bash-script Note: some trailing blanks have been removed as well by the script I used. Use "git diff -b" to see only the true changes.		2022-09-03 11:53:33 +02:00
..
run_example	Obscure line present in all examples replaced with a much simpler one.	2022-09-03 11:53:33 +02:00