On Fri, 10 Oct 2003 09:33:01 +0100, William Tasso wrote:

Thomas Prufer wrote:
On Thu, 9 Oct 2003 23:17:07 +0100, "DLee"
wrote:

What tools are best for sharpening spades?

Angle grinder?

gets my vote.

I use an angle-grinder and finish it off with a file to remove any burrs or
pointy bits.

A rough file on its own would do.

--
Tim.

If the human brain were simple enough that we could understand it, we would
be so simple that we couldn't.