Edition to .gitignore - Githubissues

Paradoxika / Skeptik

A library for Proof Theory (especially Proof Compression) in Scala.

33 stars 25 forks source link

Closed EzequielPostan closed 8 years ago

EzequielPostan commented 8 years ago

I added two lines to ignore files related to IntelliJ IDEA IDE.

ceilican commented 8 years ago

Thanks!