Anthony Perkins 9954e482b4 Don't warn about bash deprecation on MacOS		2022-08-15 11:25:26 +01:00
..
files	Don't warn about bash deprecation on MacOS	2022-08-15 11:25:26 +01:00
tasks	Make ~/data and ~/data/opt	2022-08-14 22:07:36 +01:00