Closed praseodym closed 10 years ago
@praseodym wouldn't it be better off just ignoring palaver.so
, since it is the only derived file? All of those other file extensions are extraneous imo.
Yeah, that would have the same effect. This is just the standard GitHub C .gitignore
file.
I would suggest removing the other ignore rules and just leave one for palaver.so
.
Sure, done.
Thanks, I will get this merged as soon as possible :+1: .
:+1: Nice work guys.
Ignores built palaver.so file