-
Johannes Kanig authored
So that it can be used to search for other labels. * termcode.ml (search_labels): basically a copy of get_expls_fmla with extra argument for the callback (get_expls_fmla): rewritten to use search_labels
d9a3aab4
La mise à jour de gitlab est terminée. Nous sommes désormais en version 16.11.1
Merci de consulter la release note:
https://about.gitlab.com/releases/2024/04/18/gitlab-16-11-released/
So that it can be used to search for other labels. * termcode.ml (search_labels): basically a copy of get_expls_fmla with extra argument for the callback (get_expls_fmla): rewritten to use search_labels