309 commits

This branch

This branch

All branches

Author	SHA1	Message	Date
Github Actions	9f57b54a2b	Generate documentation	2022-01-07 22:57:39 +00:00
Github Actions	8ba02f9d5f	Generate documentation	2022-01-07 22:57:01 +00:00
Github Actions	eae5c5f293	Generate documentation	2021-12-26 11:16:43 +00:00
Github Actions	0c41c98cb8	Generate documentation	2021-12-20 20:34:31 +00:00
Github Actions	79b118a456	Generate documentation	2021-12-20 20:13:32 +00:00
Github Actions	bea2582390	Generate documentation	2021-12-14 21:31:19 +00:00
Unrud	79e7992f20	Lint markdown	2021-12-14 22:27:41 +01:00
Unrud	3d3e6b4528	Use regular ids	2021-12-14 22:27:41 +01:00
Github Actions	df8cc6f190	Generate documentation	2021-12-13 23:49:18 +00:00
Github Actions	0898c02cd9	Generate documentation	2021-12-13 23:40:20 +00:00
Github Actions	8d8259ee1f	Generate documentation	2021-12-13 23:28:02 +00:00
Unrud	ad604dcab7	Use level 1 heading as title	2021-12-14 00:23:13 +01:00
Github Actions	208c869b6b	Generate documentation	2021-12-13 21:48:13 +00:00
Unrud	2895d7cd23	Fix broken code blocks	2021-12-13 22:47:11 +01:00
Github Actions	dc1cf2528b	Generate documentation	2021-12-09 15:56:42 +00:00
Github Actions	eca36e7c44	Generate documentation	2021-12-05 13:09:12 +00:00
Unrud	a541f4d3c4	Reverse branch order	2021-12-05 14:08:14 +01:00
Github Actions	2362ccbecd	Generate documentation	2021-12-05 13:01:28 +00:00
Unrud	8cfe545042	Hide <select> and navigation buttons in HTML	2021-12-05 14:00:49 +01:00
Unrud	664ddc6737	Insert branches into <select> in template	2021-12-05 14:00:49 +01:00
Github Actions	f3508e4947	Generate documentation	2021-12-05 02:00:38 +00:00
Unrud	e48a0a15d7	Remove " around branch name	2021-12-05 02:59:43 +01:00
Unrud	43dc53d794	Escape template variables	2021-12-05 02:59:43 +01:00
Unrud	8ff15acd42	Replace location for redirects	2021-12-05 02:59:42 +01:00
Unrud	1aaf131e58	Remove code for old branch names	2021-12-02 00:48:14 +01:00
Github Actions	402a1bf307	Generate documentation	2021-12-01 23:42:22 +00:00
Unrud	4c1ef33faa	Add redirects for old branch names	2021-12-02 00:40:59 +01:00
Github Actions	b247d0c35a	Generate documentation	2021-12-01 23:39:29 +00:00
Github Actions	363e4c3eec	Generate documentation	2021-12-01 23:35:50 +00:00
Github Actions	8fa9df7596	Generate documentation	2021-12-01 23:09:34 +00:00
Unrud	3eb22a3aea	Keep search and hash when redirecting	2021-12-02 00:08:57 +01:00
Github Actions	8dad4f386d	Generate documentation	2021-12-01 22:32:58 +00:00
Unrud	6844e52c4e	Update pandoc	2021-12-01 23:31:38 +01:00
Unrud	7adb6dfb3b	Enable text mode	2021-12-01 23:18:48 +01:00
Unrud	bca74e499f	Verify pandoc checksum	2021-12-01 23:15:59 +01:00
Github Actions	105f820ba6	Generate documentation	2021-12-01 22:04:22 +00:00
Unrud	22016b358f	Revert "Update pandoc" ... This reverts commit 50bf568521.	2021-12-01 23:03:19 +01:00
Github Actions	996636034f	Generate documentation	2021-12-01 21:58:57 +00:00
Unrud	50bf568521	Update pandoc	2021-12-01 22:57:50 +01:00
Unrud	138d70fa98	Add configuration for redirects	2021-12-01 22:48:51 +01:00
Unrud	b01968d155	Update .gitignore	2021-11-14 23:43:27 +01:00
Github Actions	03270e884d	Generate documentation	2021-09-26 20:30:02 +00:00
Unrud	9bd4d632c9	Add README	2021-03-23 00:12:43 +01:00
Unrud	d14688107e	Convert without temporary file	2021-03-23 00:12:42 +01:00
Github Actions	86a8e3dbfd	Generate documentation	2020-09-27 16:13:57 +00:00
Github Actions	eb427364fd	Generate documentation	2020-09-27 15:42:27 +00:00
Github Actions	7764b25cdd	Generate documentation	2020-09-12 16:52:04 +00:00
Github Actions	d4579378a1	Generate documentation	2020-09-12 13:37:38 +00:00
Unrud	4b5483175c	Optimize CSS	2020-08-20 15:38:18 +02:00
Github Actions	3e4e12f448	Generate documentation	2020-08-16 16:25:14 +00:00