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,151 Commits 13 Branches 0 Tags
9af492d18f31cc43a7912e0eca8a27ee93ccff17
Commit Graph
1 Commits
Author SHA1 Message Date
Lorenz Leutgeb 6f8210fe16 Create HOL.gitignore 2018-09-13 16:57:53 +10:00