347 commits

This branch

This branch

All branches

Author	SHA1	Message	Date
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
Github Actions	8a52b483a9	Generate documentation	2020-08-16 16:22:39 +00:00
Github Actions	7dedbac103	Generate documentation	2020-08-16 16:18:33 +00:00
Github Actions	79e45abdfe	Generate documentation	2020-08-07 02:58:48 +00:00
Github Actions	fbced68abb	Generate documentation	2020-08-06 21:51:49 +00:00
Github Actions	935e0eef52	Generate documentation	2020-07-23 17:53:47 +00:00
Github Actions	21d96a4ddf	Generate documentation	2020-07-23 17:52:14 +00:00
Github Actions	5802267b3b	Generate documentation	2020-05-23 05:43:36 +00:00
Github Actions	148ac8dba0	Generate documentation	2020-05-22 14:45:58 +00:00
Unrud	5b89726ba0	Change title	2020-05-22 16:44:29 +02:00
Github Actions	14179e831c	Generate documentation	2020-05-19 02:21:52 +00:00
Github Actions	e7b6a0fdd6	Generate documentation	2020-05-19 01:51:21 +00:00
Unrud	6a9d090cc2	Improve page title	2020-05-19 03:50:50 +02:00