diff options
Diffstat (limited to 'doc/source')
| -rw-r--r-- | doc/source/devref/down.sh (renamed from doc/source/down.sh) | 0 | ||||
| -rw-r--r-- | doc/source/devref/up.sh (renamed from doc/source/up.sh) | 0 |
2 files changed, 0 insertions, 0 deletions
diff --git a/doc/source/down.sh b/doc/source/devref/down.sh index 5c1888870..5c1888870 100644 --- a/doc/source/down.sh +++ b/doc/source/devref/down.sh diff --git a/doc/source/up.sh b/doc/source/devref/up.sh index 073a58e15..073a58e15 100644 --- a/doc/source/up.sh +++ b/doc/source/devref/up.sh |