diff options
author | Jack Lloyd <[email protected]> | 2016-09-07 07:08:04 -0400 |
---|---|---|
committer | Jack Lloyd <[email protected]> | 2016-09-07 07:08:40 -0400 |
commit | 0fb979d18f85696a6b681d324c086cd6fc5d6d30 (patch) | |
tree | 40d06429c5a0ef7c40530fdae42d134c0b85bc7e /doc/manual | |
parent | e12a272f633f9571a2f96d8d9c3f6c379b4802a4 (diff) |
Document removing `hres_timer` module in 1.11.31
[ci skip]
Diffstat (limited to 'doc/manual')
0 files changed, 0 insertions, 0 deletions