|
basics
|
Ship tag 5.17.0
|
2023-06-22 16:45:42 +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
|
print: enable print for pages with _build options #522
|
2023-05-18 00:12:47 +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 |
