Yes, I did.

I edited the file mini-wallet.php and saved it in the directory theme/woo-wallet. However, whatever I changed was not visible at the frontend. I did a test with the original file, but also no changes visible at the front end.