@ -5,4 +5,4 @@ source "https://rubygems.org"
gem "jekyll-feed"
gem "jekyll-katex"
gem "jekyll-minifier"
gem "jekyll/agda"
gem "jekyll-agda"
The note is not visible to the blocked user.