diff options
| author | joey <joey@0fa5a96a-9a0e-0410-b3b2-a0fd24251071> | 2007-09-07 17:06:42 +0000 |
|---|---|---|
| committer | joey <joey@0fa5a96a-9a0e-0410-b3b2-a0fd24251071> | 2007-09-07 17:06:42 +0000 |
| commit | 2de411ac865f57fc7596f9d50d083e0bc38be334 (patch) | |
| tree | 8a85b0cc0f30f7852aa2cb83f19b265331686f48 /doc/users | |
| parent | c9904c9e0e6baef11bd7aabf358c3d28823e5acf (diff) | |
* Exclude external plugin from syntax check since it uses a module that is
not in the build depends. Closes: #441171
Diffstat (limited to 'doc/users')
0 files changed, 0 insertions, 0 deletions