No description
Find a file
2024-12-09 03:13:23 +01:00
find.py Initial commit 2024-12-09 03:13:23 +01:00
found.txt Initial commit 2024-12-09 03:13:23 +01:00
README Initial commit 2024-12-09 03:13:23 +01:00

Do something like
./find.py ~/dev/mapcomplete > found.txt