remove a "unused parameter" warning

Arrigo Marchiori

2016-10-14 736d46e8b3df141a8178c2e57e330a04ff775a35

 .gitignore

@@ -31,3 +31,8 @@

/nbproject/
*.bak

# Code coverage files
*.gcno
*.gcda
*.gcov