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
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