From 887cd0d82dbf05dc48892efafb615f19032281ca Mon Sep 17 00:00:00 2001
From: Yaoyao Liu <yaoyao.liu@mpi-inf.mpg.de>
Date: Mon, 26 Aug 2024 09:39:23 -0500
Subject: [PATCH] Update Gemfile

---
 Gemfile | 2 --
 1 file changed, 2 deletions(-)

diff --git a/Gemfile b/Gemfile
index 718eb7ca6..7d80add24 100644
--- a/Gemfile
+++ b/Gemfile
@@ -18,5 +18,3 @@ gem "minima", "~> 2.0"
 gem "github-pages", group: :jekyll_plugins
 
 gem "webrick", "~> 1.8"
-
-gem 'nokogiri', '~> 1.10'