I saw a thread a while back that mentioned, I think, adding eucalyptus oil to the water when mopping.

Have just bought a new mop and am pretty hot to trot to start mopping (but not that hot that I actually did it today

Was it eucalyptus oil or something else?