Re: [Dr. Geo] Are DrGeo extension methods to core classes really needed?

dr-geo

From:	Oscar Nierstrasz
Subject:	Re: [Dr. Geo] Are DrGeo extension methods to core classes really needed?
Date:	Fri, 12 Apr 2024 08:43:40 +0200

Great! I can confirm that now it is possible to safely remove the DrGeo packages.

Cheers,

On 11 Apr 2024 at 10:38 +0200, Hilaire Fernandes <hfern@free.fr>, wrote:

I can remove safely linksDo:

--  
GNU Dr. Geo
http://gnu.org/s/dr-geo/
http://gnu-drgeo.blogspot.com/

Current Thread

[Next in Thread]

[Dr. Geo] Are DrGeo extension methods to core classes really needed?, Oscar Nierstrasz, 2024/04/11
- Re: [Dr. Geo] Are DrGeo extension methods to core classes really needed?, Hilaire Fernandes, 2024/04/11
  - Re: [Dr. Geo] Are DrGeo extension methods to core classes really needed?, Hilaire Fernandes, 2024/04/11
    - Re: [Dr. Geo] Are DrGeo extension methods to core classes really needed?, Oscar Nierstrasz, 2024/04/11
    - Re: [Dr. Geo] Are DrGeo extension methods to core classes really needed?, Hilaire Fernandes, 2024/04/11
    - Re: [Dr. Geo] Are DrGeo extension methods to core classes really needed?, Oscar Nierstrasz <=