> What do you do when you make a mistake? Do you use an eraser instead of backsp...

		MrGilbert 5 months ago \| parent \| context \| favorite \| on: As a developer, my most important tools are a pen ... > What do you do when you make a mistake? Do you use an eraser instead of backspace? I my books, I use Tipp-Ex for that. I usually write with a ballpoint pen.