David Hewitt
|
fe14d760a1
|
netlify: add some missing redirects
|
2022-12-18 07:54:55 +00:00 |
|
David Hewitt
|
13db7348a6
|
netlify: fix mdbook update
|
2022-11-30 08:31:00 +00:00 |
|
David Hewitt
|
548e90fcec
|
release: 0.17.3
|
2022-11-01 20:47:46 +00:00 |
|
David Hewitt
|
bd40011e93
|
release: 0.17.2
|
2022-10-04 08:13:53 +01:00 |
|
David Hewitt
|
bb99c98ec1
|
use towncrier to generate CHANGELOG
|
2022-09-08 07:58:53 +01:00 |
|
David Hewitt
|
5c070ae473
|
netlify: fix main doc redirect
|
2022-09-07 07:46:24 +01:00 |
|
messense
|
1698c84c00
|
netlify: redirect to `main/` for deploy previews
|
2022-09-07 10:11:09 +08:00 |
|
David Hewitt
|
caaf7bbda7
|
release: 0.17.1
|
2022-08-28 08:27:56 +01:00 |
|
David Hewitt
|
e511b268b1
|
netlify: fix redirects
|
2022-08-24 10:25:58 +01:00 |
|
David Hewitt
|
04c1ac87f1
|
release: 0.17.0
|
2022-08-23 21:21:19 +01:00 |
|
David Hewitt
|
cc0833aef7
|
netlify: add badge, use github-pages domain rather than pyo3.rs
|
2022-08-21 18:13:27 +01:00 |
|
David Hewitt
|
e0b75768e4
|
netlify: add banner back to internal docs
|
2022-08-19 15:35:53 +01:00 |
|
David Hewitt
|
b70318fd1b
|
guide: deployment to netlify
|
2022-08-19 12:46:56 +01:00 |