mirrors
/
gitignore
ミラー元 https://github.com/github/gitignore.git
ウォッチ 1
スター 0
フォーク 0
コード 課題 0 リリース 0 Wiki アクティビティ
ソースを参照

Add MAlonzo directory. (#2978)

pull/2985/head
Michael Coblenz 5年前
親
dfc56427c3
コミット
d7452bf58f
1個のファイルの変更、1行の追加、0行の削除
分割表示 差分情報を表示
  1. 1
    0
      Agda.gitignore

+ 1
- 0
Agda.gitignore ファイルの表示

@@ -1 +1,2 @@
*.agdai
MAlonzo/**

書き込み プレビュー
読み込み中…
キャンセル
保存