google 検索での表示のされ方に問題がある

lean-ja / lean-ja.github.io

lean-ja の団体トップページ

https://lean-ja.github.io/

MIT License

0 stars 0 forks source link

Closed Seasawher closed 12 months ago

Seasawher commented 12 months ago

google 検索結果

検索での表示のされ方がおかしいです．

Seasawher commented 12 months ago

6bb315ef3502ac712f79da99980bbc4485ada3f2 により解決される見込みです