Removes redundant reduction files#1480

Merged

ndgrigorian merged 1 commit intomasterfrom

remove-unnecessary-reduction-files

Dec 4, 2023

Commits on Dec 1, 2023

Removes reduction files made redundant by gh-1446
ndgrigorian
committed