tworu/gitignore
1
0 Fork 0
mirror of https://github.com/github/gitignore.git synced 2026-11-04 09:01:57 +01:00
Code Issues Actions 1 Packages Projects Releases Wiki Activity
4,089 Commits 13 Branches 0 Tags
57f94ecfdf0e4d89cd2c6361cac3f4f14bca090b
Commit Graph
1 Commits
Author SHA1 Message Date
Lorenz Leutgeb 6f8210fe16 Create HOL.gitignore 2018-09-13 16:57:53 +10:00