Content - f14fbce2fb827cbfaac1c6671a0d6850d2ec5292 - 2d68878/.gitignore – Software Heritage archive

Skip to main content

Full width
Home
Development
Documentation
Donate
Operational login

Browse the archive

Software Heritage

Software Heritage

Archive

Features

Search
Downloads
Save code now
Add forge now
Help

2d68878
/
.gitignore

To reference or cite the objects present in the Software Heritage archive, permalinks based on SoftWare Hash IDentifiers (SWHIDs) must be used.

Select below a type of object currently browsed in order to display its associated SWHID and permalink.

content
directory

Iframe embedding

swh:1:cnt:f14fbce2fb827cbfaac1c6671a0d6850d2ec5292

Add contextual information

directory badge

Iframe embedding

swh:1:dir:2d68878d365fe72744f8b085fa29df385567f6c9

.gitignore

*.vo
*.vok
*.vos
*.glob
*~
*.aux
.*.aux
Makefile.coq
Makefile.coq.conf
.coqdeps.d

Software Heritage — Copyright (C) 2015–2024, The Software Heritage developers. License: GNU AGPLv3+.
The source code of Software Heritage itself is available on our development forge.
The source code files archived by Software Heritage are available under their own copyright and licenses.
Terms of use: Archive access, API— Contact— JavaScript license information— Web API