September 22, 2020

deleting Linux directories