Makefile: check for existence of dist in build-ui-ifne#6119
Merged
johanbrandhorst merged 1 commit intomainfrom Oct 23, 2025
Merged
Makefile: check for existence of dist in build-ui-ifne#6119johanbrandhorst merged 1 commit intomainfrom
johanbrandhorst merged 1 commit intomainfrom
