chiark / gitweb /
Export tuning parameters from header file, for the benefit of other