chiark / gitweb /
path-util: paths_check_timestamp() opimizations