Skip to content

Commit

Permalink
Ignore modifyHeader and searchHeader executables.
Browse files Browse the repository at this point in the history
  • Loading branch information
@RubenVerborgh
RubenVerborgh committed Dec 4, 2016
1 parent 09a1e6b commit b5760ec
Showing 1 changed file with 2 additions and 0 deletions.
2 changes: 2 additions & 0 deletions hdt-lib/tools/.gitignore
View file
Original file line number Diff line number Diff line change
Expand Up @@ -3,3 +3,5 @@ hdtInfo
hdtSearch
rdf2hdt
replaceHeader
modifyHeader
searchHeader

0 comments on commit b5760ec

Please sign in to comment.