]> git.piffa.net Git - doc/.git/blob - .gitignore
projects / doc / .git / blob
? search:
summary | shortlog | log | commit | commitdiff | tree
history | raw | HEAD
Merge branch 'master' of chrome:/home/git/doc
[doc/.git] / .gitignore
1 # List of ignored files for the rep:
2 # wild card are fine too.
3 HEADER.html
4 doc.git
"Documentazione per Gnu/Linux e servizi di rete"