diff options
| author | jvoisin | 2017-11-29 15:33:53 +0100 |
|---|---|---|
| committer | blotus | 2017-11-29 15:33:53 +0100 |
| commit | 24d414503e9831ae9a7a7871e93fdd8430911466 (patch) | |
| tree | a5842ecf07b63910892a8bfe48828f5065e3393d /doc | |
| parent | 5aabc746bd4588a437e37a442e557c3bc7fe6f35 (diff) | |
Refactoring (#79)
Refactoring of should_disable().
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions