ホーム エクスプローラ
登録 サインイン
SongZihuan
/
GitIgnore
同期ミラー https://github.com/github/gitignore.git
1
0
フォーク 0
ファイル 課題 0 Wiki
ブランチ: annotating-visualstudio
ブランチ タグ
GitIgnore
/
Coq.gitignore

Coq.gitignore 18 B
パーマリンク 履歴 Raw

123 
  1. *.vo
    2. 

  2. *.glob
    3. 

  3. *.v.d
    4.