|
Content
|
Allow header selection for pages
|
2022-09-04 20:36:43 +02:00 |
|
Extensions
|
Hide language buttons again if page is empty
|
2022-08-31 08:46:23 +02:00 |
|
Files
|
Allow header selection for pages
|
2022-09-04 20:36:43 +02:00 |
|
Generators
|
Allow header selection for pages
|
2022-09-04 20:36:43 +02:00 |
|
Templates
|
Make top bar link relative
|
2022-09-04 17:47:13 +02:00 |
|
main.swift
|
Improve overview of modified pages
|
2022-09-02 23:19:13 +02:00 |
