diff options
| author | Dario Oddenino | 2022-10-14 16:57:52 +0000 |
|---|---|---|
| committer | GitHub | 2022-10-14 16:57:52 +0000 |
| commit | 2d958d6c50b10318e29f6dacc291d8fcafd66de9 (patch) | |
| tree | d7dc59cc2528c8b10ce49f043c2619a63205b4bb /book/theme/highlight.js | |
| parent | 13d81b74787b58c01b56fdac8e3515470b2ed127 (diff) | |
Add support for Purescript language (#4242)
Diffstat (limited to 'book/theme/highlight.js')
0 files changed, 0 insertions, 0 deletions