Re: File size

[harakim via Digitalmars-d-learn]

On Wednesday, 23 August 2023 at 08:48:26 UTC, FeepingCreature 
wrote:
That's hilarious! I'm happy you found it.

Me too! Thanks for the support.
(PS I've already reformatted that drive to ext4.)