Re: [LyX/master] oops, git is playing games with me.

[Tommaso Cucinotta]

On 18/08/2017 02:09, Tommaso Cucinotta wrote:

no more time for today... but perhaps the cache wipe-out work-around is already 
good enough.

pushed, seems acceptable (except for 0_tmp_tmp_*, 1_tmp_tmp_*, etc...)

        T.