Code

修飾子を宣言的コマンドから独立させる#1267

Code

Merged

Seasawher merged 2 commits intomainlean-ja/lean-by-example:mainfrom Seasawher/issue1261lean-ja/lean-by-example:Seasawher/issue1261Copy head branch name to clipboardJan 1, 2025

+44-38

Commits

Commits on Jan 1, 2025

• 宣言的コマンドから修飾子を独立させる

  Show description for f4bcac0
  Seasawher

  committed
  f4bcac0

  Copy full SHA for f4bcac0

• ディレクトリ構造の変化に伴うリンク切れに対応する

  Seasawher

  committed
  ce8dbaf

  Copy full SHA for ce8dbaf