81a6e79ab9
deploy: e16eab29d6
2021-07-27 13:32:28 +00:00
4b6a9fc0fc
deploy: 89c4ca81bb
2021-07-22 14:05:40 +00:00
17e499e11f
deploy: d518b05a86
2021-07-22 10:58:46 +00:00
7278616b63
deploy: 5b68816de9
2021-07-21 17:48:27 +00:00
f52763d39a
deploy: d30a657439
2021-07-20 11:44:30 +00:00
73984a10b1
deploy: a743bf4694
2021-07-20 10:49:48 +00:00
73182ee518
deploy: 36dc15412d
2021-07-16 16:12:31 +00:00
3109883065
deploy: 9f497024aa
2021-07-15 13:55:09 +00:00
59efab39fb
deploy: 3fffb71254
2021-07-15 13:54:42 +00:00
daef6bea61
deploy: 23a90a6a5c
2021-07-15 12:19:21 +00:00
fc24a06cad
deploy: c141455049
2021-07-15 11:48:16 +00:00
ca15a1d699
deploy: 5ecad4e7a5
2021-07-15 10:43:25 +00:00
46f9dffe54
deploy: 0ae95b3847
2021-07-14 16:50:51 +00:00
35ecfa124c
deploy: 28ffff73c1
2021-07-14 16:12:22 +00:00
8af5e6e979
deploy: 519ec8271f
2021-07-13 12:43:26 +00:00
9cc1d48a38
deploy: e938f69697
2021-07-13 11:08:22 +00:00
31cb5254d4
deploy: 251cfc4e09
2021-07-09 10:43:39 +00:00
13ae16c9d4
deploy: 33ae301fee
2021-07-08 16:17:04 +00:00
62ca310ed9
deploy: f6767abc05
2021-07-08 15:57:34 +00:00
25b653c5ac
deploy: 974261cd81
2021-07-08 14:46:42 +00:00
08c8605807
deploy: 189652b2fe
2021-07-07 12:06:42 +00:00
c2676b8db3
deploy: 240b3ce253
2021-07-07 11:39:24 +00:00
355fc34c09
deploy: 56fd5fa8e1
2021-07-07 11:37:10 +00:00
762f838ace
deploy: 2d044667cf
2021-07-07 11:18:59 +00:00
44b8bf9404
deploy: 26196df575
2021-07-07 10:08:50 +00:00
be2479e264
index for latest
2021-07-07 10:56:31 +01:00
44b802ffa0
make 'latest' the default
2021-07-07 10:48:07 +01:00
74007ef5ee
deploy: 7c82378992
2021-07-07 09:44:14 +00:00
c1f458da89
deploy: d7a94a7dcc
2021-07-06 10:00:24 +00:00
8fad3c98c6
deploy: 7a5873277e
2021-07-05 15:32:32 +00:00
4065f10ce0
deploy: 10671da05b
2021-07-02 11:21:04 +00:00
5cd5a71ca8
deploy: 6c02cca95f
2021-07-01 09:30:41 +00:00
b0ff61babb
Manually add v1.37/index.html
...
#10242 made it so that the welcome and overview page would be copied
to index.html when generating a docs version. This change landed in
develop however, and did not make it to the release-v1.37 branch.
So we need to do this step manually here, but will not have to in
the future.
2021-06-30 23:49:21 +01:00
a5adb4b1c8
deploy: 04c8f308f4
2021-06-30 22:44:18 +00:00
4fee839fe4
deploy: e6f5b9359f
2021-06-30 14:02:28 +00:00
4037d70b78
deploy: f193034d59
2021-06-30 11:25:26 +00:00
cebd2fa75f
deploy: bc5589a1bb
2021-06-29 20:49:12 +00:00
69994fab2a
deploy: d561367c18
2021-06-29 20:39:57 +00:00
a3da3f3201
deploy: 785bceef72
2021-06-29 19:26:26 +00:00
1174f9228f
deploy: f99e9cc2da
2021-06-29 18:59:13 +00:00
c8a6198389
deploy: 3d370efc6d
2021-06-29 09:29:29 +00:00
19668ea015
deploy: cdf569e468
2021-06-29 09:17:14 +00:00
d30fd7e70f
deploy: cdf569e468
2021-06-29 09:17:09 +00:00
e4f72da974
deploy: f0e02f5df2
2021-06-24 17:01:15 +00:00
860e0ba866
Redirect to develop/index.html instead ( #10241 )
...
GitHub Pages will serve develop/index.html if we navigate to develop/.
index.html will still be the welcome page (for now), but if we ever decide
to change that in the future, we won't need to update this redirect page
2021-06-24 18:00:42 +01:00
896c1d2e65
deploy: 763dba77ef
2021-06-24 10:24:15 +00:00
d4d9bf71d7
deploy: acac4535c5
2021-06-24 09:58:58 +00:00
7f4c93b205
deploy: 7f25d73859
2021-06-23 16:16:05 +00:00
a77e6925f2
deploy: 756fd513df
2021-06-21 22:49:19 +00:00
d4892a68c1
deploy: e9f2ad8603
2021-06-18 14:56:12 +00:00
reivilibre