[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Replace filename from compilation buffer errors
|
From: |
Robert Pluim |
|
Subject: |
Re: Replace filename from compilation buffer errors |
|
Date: |
Fri, 29 Nov 2024 13:45:07 +0100 |
>>>>> On Fri, 29 Nov 2024 12:26:06 +0100, Filippo Argiolas
>>>>> <filippo.argiolas@gmail.com> said:
Filippo> Thank you! seems perfect, no idea how I missed that!
One cannot accuse the docstring of `compilation-error-regexp-alist' of
being too short 😀
Robert
--