Skip to content
Snippets Groups Projects
Commit 4271f4c5 authored by Jacques-Henri Jourdan's avatar Jacques-Henri Jourdan
Browse files

unfold lftE into lftN. There is no point in using both these definitions everywhere.

parent a9f50489
No related branches found
No related tags found
No related merge requests found
Pipeline #46514 passed
Stage: build