Skip to content

Remove real-time search for routines names and more - #2216

Merged
GillesDuvert merged 28 commits into
gnudatalanguage:masterfrom
GillesDuvert:tentative_remove_search_for_routines
Jul 30, 2026
Merged

Remove real-time search for routines names and more#2216
GillesDuvert merged 28 commits into
gnudatalanguage:masterfrom
GillesDuvert:tentative_remove_search_for_routines

Merge origin/tentative_remove_search_for_routines into tentative_remo…

9c7d6a8
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning

The logs for this run have expired and are no longer available.