diff options
author | Rasmus Andersson <rasmus@notion.se> | 2022-09-29 22:10:43 +0300 |
---|---|---|
committer | Rasmus Andersson <rasmus@notion.se> | 2022-09-29 22:10:43 +0300 |
commit | 47f233286a30f5ce22bb113a3854c81cc971ce47 (patch) | |
tree | 24c1c1dee7ee67e09fe91cd3fd141654a51664e9 /docs/Gemfile | |
parent | 4e99e332a56ef2a94d68f280729363a0d654c721 (diff) | |
download | inter-47f233286a30f5ce22bb113a3854c81cc971ce47.tar.xz |
website: adjustments to "using" after #497 (and update jekyll script while at it)
Diffstat (limited to 'docs/Gemfile')
-rw-r--r-- | docs/Gemfile | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/docs/Gemfile b/docs/Gemfile index 0e6f09ed8..9d14e8b7c 100644 --- a/docs/Gemfile +++ b/docs/Gemfile @@ -32,4 +32,6 @@ gem "wdm", "~> 0.1.1", :platforms => [:mingw, :x64_mingw, :mswin] # do not have a Java counterpart. gem "http_parser.rb", "~> 0.6.0", :platforms => [:jruby] -gem "webrick", "~> 1.7" +gem "jekyll-redirect-from" + +gem "webrick" |