diff options
| author | Thomas Schwinge <tschwinge@gnu.org> | 2009-10-17 15:00:12 +0200 |
|---|---|---|
| committer | Thomas Schwinge <tschwinge@gnu.org> | 2009-10-17 15:00:12 +0200 |
| commit | f71e84c918827a482158073af45fa7f9acc5ed31 (patch) | |
| tree | 25ddc88fb6524f2e8dace6034c2a6ca41abcbc98 /doc/plugins/type | |
| parent | 31633c7addf25619a2a3042fc3e27f21aa97a831 (diff) | |
Reflect merge of page.
Diffstat (limited to 'doc/plugins/type')
0 files changed, 0 insertions, 0 deletions