diff options
| author | ruki <[email protected]> | 2017-02-13 22:42:59 +0800 |
|---|---|---|
| committer | ruki <[email protected]> | 2017-02-13 22:42:59 +0800 |
| commit | f7eaf51c4cad7d94989e130de2172df2cbc74193 (patch) | |
| tree | 71436cd40bc3766d13165969025fc95bd7bb24f2 /docs/plugins.md | |
| parent | a2b7b07658824d024f8d54bc73f4687c34179e49 (diff) | |
add source batches for building
Diffstat (limited to 'docs/plugins.md')
| -rw-r--r-- | docs/plugins.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/plugins.md b/docs/plugins.md index 9966f7b22..bbeb90f46 100644 --- a/docs/plugins.md +++ b/docs/plugins.md @@ -1,5 +1,5 @@ --- -search: english +search: en --- ## Plugin Development |