tree 9341d14061a4dd9a21d41a528a66d45c78687b74
parent 8c3faccc941d5b32722554f8f24f320fd02dd4ab
author Ed Tanous <ed@tanous.net> 1712522826 -0700
committer Ed Tanous <ed@tanous.net> 1712859713 +0000

Fix file removal

This code used std::remove, which is a mechanism for removing characters
from strings.  Clearly it meant std::filesystem::remove(), which removes
files from the filesystem.

Correct it.

Change-Id: I030966203c1682a11c723c596accdf34637dd1ba
Signed-off-by: Ed Tanous <ed@tanous.net>