Re: "Found hole"

2015-01-20 Thread Alex Hammel
5 at 11:25 AM, Alex Hammel wrote: > The only reference to a NoTypedHoles extension google can find is this > thread. Odd. > > On Tue, Jan 20, 2015 at 11:22 AM, Volker Wysk > wrote: > >> Hi! >> >> Am Dienstag, 20. Januar 2015, 13:44:01 schrieben Sie: >&

Re: "Found hole"

2015-01-20 Thread Alex Hammel
The only reference to a NoTypedHoles extension google can find is this thread. Odd. On Tue, Jan 20, 2015 at 11:22 AM, Volker Wysk wrote: > Hi! > > Am Dienstag, 20. Januar 2015, 13:44:01 schrieben Sie: > > The leading underscore invokes the typed holes extension. If you want to > > use such names