Re: [patch,wwwdocs] Remove cr16, tilegx, tilepro from backends.html

[Gerald Pfeifer]

On Fri, 18 Jul 2025, Jeff Law wrote:
> On 7/18/25 8:37 AM, Georg-Johann Lay wrote:
>> Ok to apply removal of backends no more present in v13?
> Yes.

And feel free to simply push such changes (under the obvious rule).

Gerald