debian-mirror-gitlab/vendor/gitignore/Idris.gitignore

Ignoring revisions in .git-blame-ignore-revs. Click here to bypass and see the normal blame view.

3 lines
10 B
Text
Raw Normal View History