On 6/15/19 9:45 PM, Gerald Pfeifer wrote:
On Sun, 15 Jul 2018, Basile Starynkevitch wrote:
Basile, should we generally remove this reference to GCC MELT?
Yes. I am no more working on MELT, but I did begin to work on its successor:
Sorry for the delay - I finally applied the patch below.
If/
On Sun, 15 Jul 2018, Basile Starynkevitch wrote:
>> Basile, should we generally remove this reference to GCC MELT?
> Yes. I am no more working on MELT, but I did begin to work on its successor:
Sorry for the delay - I finally applied the patch below.
If/when you want that successor to be listed o
On 07/15/2018 07:12 AM, Basile Starynkevitch wrote:
On 07/14/2018 10:17 PM, Gerald Pfeifer wrote:
I noticed that http://gcc-melt.org now redirects to
http://www.gcc-melt.org which looks like a default,
and empty, Wordpress installation.
I went ahead and applied the patch below.
Basile, sh
On 07/14/2018 10:17 PM, Gerald Pfeifer wrote:
I noticed that http://gcc-melt.org now redirects to
http://www.gcc-melt.org which looks like a default,
and empty, Wordpress installation.
I went ahead and applied the patch below.
Basile, should we generally remove this reference to GCC MELT?
G
I noticed that http://gcc-melt.org now redirects to
http://www.gcc-melt.org which looks like a default,
and empty, Wordpress installation.
I went ahead and applied the patch below.
Basile, should we generally remove this reference to GCC MELT?
Gerald
Index: extensions.html
=
