On Sat, Jul 26, 2014 at 09:32:37PM +0200, Robert C. Helling wrote: > Hi, > > as we already have unicode in our sources, we can as well spell that name > properly.
Nope. We will not at unicode variable and structure names. /D _______________________________________________ subsurface mailing list subsurface@hohndel.org http://lists.hohndel.org/cgi-bin/mailman/listinfo/subsurface
