Re: zsh not working?

Lorenzo Bettini <[email protected]> Tue, 09 Jun 2015 17:36:42 +0200

Newsgroups	gmane.comp.gnu.source-highlight.general
Message-ID	<[email protected]>

On 08/06/2015 18:53, Tim Hermans wrote:
> I'm using 3.1.8 on Arch Linux.
> 
> It's happened on every file I've tried so far.
> 

Then please file a bug report with an input file (as minimal as
possible) to reproduce the problem.

Thanks
	Lorenzo

-- 
Lorenzo Bettini, PhD in Computer Science, DI, Univ. Torino
HOME: http://www.lorenzobettini.it
Xtext Book:
http://www.packtpub.com/implementing-domain-specific-languages-with-xtext-and-xtend/book