[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Help-source-highlight] zsh not working?
From: |
Lorenzo Bettini |
Subject: |
Re: [Help-source-highlight] zsh not working? |
Date: |
Tue, 09 Jun 2015 17:36:42 +0200 |
User-agent: |
Mozilla/5.0 (X11; Linux x86_64; rv:31.0) Gecko/20100101 Thunderbird/31.7.0 |
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