diff options
Diffstat (limited to 'old/manual.md')
| -rw-r--r-- | old/manual.md | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/old/manual.md b/old/manual.md index 89e85fd4..160a0436 100644 --- a/old/manual.md +++ b/old/manual.md @@ -1,6 +1,3 @@ ---- -search: en ---- ## Specification |