chiark / gitweb /
basic/util: move execute_directory() to separate file