Hi bearophile,
sorry for my ignorance, but what is the difference between @disable and simply deleting the line ?
where can I read more about @disable ?
thanks, bjoern

Reply via email to