diff options
| author | Edgard Lima <edgard.lima@indt.org.br> | 2006-05-19 18:31:25 +0000 |
|---|---|---|
| committer | Edgard Lima <edgard.lima@indt.org.br> | 2006-05-19 18:31:25 +0000 |
| commit | ea312722e9c58b8c25ee0edc785e00d86e6f1e15 (patch) | |
| tree | e1e14e4975896cd283ea36cfd698f8f8ed517e79 /docs/plugins | |
| parent | a4dbbd5d2afcc74454c92fa2dc3958eb951ba3a3 (diff) | |
Some clean-ups requested by wingo in bug #338818.
Original commit message from CVS:
Some clean-ups requested by wingo in bug #338818.
Diffstat (limited to 'docs/plugins')
0 files changed, 0 insertions, 0 deletions