diff options
| author | Alexandre Flament <alex@al-f.net> | 2021-12-03 08:25:11 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-12-03 08:25:11 +0100 |
| commit | 58a6738dec9b96a7db84aa55acc1552c0a4c76db (patch) | |
| tree | e001e362d549378c5aeae97c4e08ab32859c3bcb /docs/src | |
| parent | 32c5918e4d9660b9104794a914b8fc3f843c05e5 (diff) | |
| parent | d26a746d7db93be789c1aea58fe015612601cf09 (diff) | |
Merge pull request #575 from return42/fix-source-map
[fix] simple theme: make JS sources available on non build hosts
Diffstat (limited to 'docs/src')
0 files changed, 0 insertions, 0 deletions