diff options
Diffstat (limited to 'documentation/dev-manual')
| -rw-r--r-- | documentation/dev-manual/dev-style.css (renamed from documentation/dev-manual/style.css) | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/documentation/dev-manual/style.css b/documentation/dev-manual/dev-style.css index 23c8e74c1e..23c8e74c1e 100644 --- a/documentation/dev-manual/style.css +++ b/documentation/dev-manual/dev-style.css | |||