Add .gitignore file - Githubissues

snu-sf-class / pl2015spring

SNU 4190.310, 2015 Spring

11 stars 6 forks source link

Closed ksami closed 9 years ago

ksami commented 9 years ago

Added .gitignore to ignore temporary files created by coqide to prevent unnecessary confusion and commits

jeehoonkang commented 9 years ago

Thank you for your contribution.

But why your .gitignore contains sf/*.v#? I think *.v# would be sufficient to ignore sf/*.v#.

Jeehoon

ksami commented 9 years ago

Oh yes it can, sorry I'll push another commit

jeehoonkang commented 9 years ago

I would like to close this pull request, since I modified .gitignore: ebbd2bed7d470784903a366d0421931cb3c87a8b

This is because I already maintained a .gitignore in sf directory, and I would like not to create another one.

Sorry!

ksami commented 9 years ago

Oh I did not notice that one. Yes okay