tree 898e215782adb4f9274afb42018df3736ed3e1d4
parent fef46351e0bd34c87caa408669d882fa56609f64
author Dieter Baron <dillo@nih.at> 1590827403 +0200
committer Dieter Baron <dillo@nih.at> 1590827403 +0200

Rename pipefile to stdin-file.