diff options
author | Rasmus Andersson <rasmus@notion.se> | 2018-10-23 04:06:24 +0300 |
---|---|---|
committer | Rasmus Andersson <rasmus@notion.se> | 2018-10-23 04:06:24 +0300 |
commit | 783f38a7000f208abf4f7b78443b82dec2d57b94 (patch) | |
tree | 9069b23289a65023ab421e3fa952b92fe3a3a436 | |
parent | 704e0678061a6ac2c7f3dc22a31da52e9c696f92 (diff) | |
download | inter-783f38a7000f208abf4f7b78443b82dec2d57b94.tar.xz |
website: force rebuild after random github failure
-rw-r--r-- | docs/_config.yml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/docs/_config.yml b/docs/_config.yml index f00875d90..f40bd0c99 100644 --- a/docs/_config.yml +++ b/docs/_config.yml @@ -8,3 +8,4 @@ kramdown: input: GFM auto_ids: true hard_wrap: false + |