diff options
Diffstat (limited to '')
| -rw-r--r-- | examples/docs/public/theme.js (renamed from examples/doc/public/theme.js) | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/examples/doc/public/theme.js b/examples/docs/public/theme.js index d75d0bf99..d75d0bf99 100644 --- a/examples/doc/public/theme.js +++ b/examples/docs/public/theme.js |