Max Große 2b13c3206a

Remove unused documentation (#342) ...

upload_event was removed from dream.mli in 018e8e273c5e01e24efefa8e2b2b5a9e4145c7a1
new_global was removed in d81b1986b67ccf8024deeb3d1c223452116fdb4d

2024-09-03 09:49:21 +03:00

..

docs.css

Remove unused documentation (#342)

2024-09-03 09:49:21 +03:00

docs.js

Docs: initialize theme earlier to avoid flicker

2023-05-22 16:08:59 +03:00

fa-brands-400.woff2

Docs work

2021-04-04 01:55:05 +03:00

fa-solid-900.woff2

Try Font Awesome again

2021-03-30 18:08:19 +03:00

highlight.pack.js

Various TODOs

2021-03-22 01:29:47 +03:00

iosevka-regular.woff2

Host webfonts

2021-03-29 23:27:29 +03:00

lato-v17-latin-700.woff2

Host webfonts

2021-03-29 23:27:29 +03:00

lato-v17-latin-italic.woff2

Host webfonts

2021-03-29 23:27:29 +03:00

lato-v17-latin-regular.woff2

Host webfonts

2021-03-29 23:27:29 +03:00

tenor-sans-v12-latin-regular.woff2

Host Tenor Sans

2021-04-26 23:58:48 +03:00