|
basics
|
Ship tag 5.17.1
|
2023-06-22 17:04:59 +00:00 |
|
cont
|
highlight: add option for wrapping vs. scrolling #169
|
2023-06-22 01:22:08 +02:00 |
|
dev
|
openapi: replace implementation with swagger-ui #523
|
2023-05-14 23:05:07 +02:00 |
|
more
|
a11y: update github-buttons for outline style #581
|
2023-06-28 19:37:40 +02:00 |
|
shortcodes
|
docs: switch to lineNos=true #169
|
2023-06-22 17:32:39 +02:00 |
|
tests
|
highlight: add option for wrapping vs. scrolling #169
|
2023-06-22 01:22:08 +02:00 |
|
_index.pir.md
|
piratify: reduce reader warnings #496
|
2023-02-10 17:30:41 +01:00 |
