We had a slow leak in the plumbing in our basement (unfinished) which we thought at first was just a damp basement. That has now been fixed, but in the meantime, a layer of mineral deposit (probably calcium) has formed over the concrete floor. The house is around 100 years old, so the concrete is definitely not new, and quite porous. I've looked at several products/methods for cleaning this up, but most seem more appropriate (application-wise) for outdoor use, or use rather hazardous chemicals. Does anyone know of a safe method for cleaning this up? Thank you.
(And yes - many lessons learned over the course of this 'adventure'