diff options
| author | Pierre-Marie Pédrot | 2015-12-12 14:53:00 +0100 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2015-12-12 15:14:09 +0100 |
| commit | 72bb3992d912df33bac34f3a1c21989edcf9aa02 (patch) | |
| tree | 3a36700feb51dbb0a8fbf05badf4e9c864ab659c /plugins | |
| parent | c6b75e1b693ab8c7af2efd1b93f04eab248e584c (diff) | |
Indexing and documenting some options.
Diffstat (limited to 'plugins')
0 files changed, 0 insertions, 0 deletions