diff options
| author | Gabriel Scherer | 2015-06-30 18:06:06 +0200 |
|---|---|---|
| committer | Maxime Dénès | 2016-06-27 12:57:30 +0200 |
| commit | c83fa10156545bce96ef4a0f93e8695ec353c834 (patch) | |
| tree | 975b5bd65022c9a88a1fe1622c89a292bbc076fc /plugins | |
| parent | c11b7c5a34ea16a32a78c796a219d29edd117e74 (diff) | |
minor: comment on the meaning of the 'boolean' variable
Diffstat (limited to 'plugins')
0 files changed, 0 insertions, 0 deletions