Pretty sure there is no such animal.
A cheap and cheerful fret end file can be made from a flat diamond file from your local cut price tool shop or $2 store.
Simply grind one edge so it is smooth and slightly rounded and you have got yourself a fret end file.
Or you can spend a bit more and get a purpose made one from Stewmac.