diff options
| author | Michael Stapelberg | 2019-07-29 21:25:32 +0200 | 
|---|---|---|
| committer | Michael Stapelberg | 2019-07-29 21:46:08 +0200 | 
| commit | e84f9588dfca3023f77fcc7d320c70945d852f9d (patch) | |
| tree | 093be240e9c8d7c58504b3f02799f7d13421830d /m4 | |
| parent | make pulseaudio an optional dependency, follow best practices (diff) | |
print_cpu_usage: use buffered file API
fixes #343
fixes #344
Diffstat (limited to 'm4')
0 files changed, 0 insertions, 0 deletions
