Skip to content

Commit

Permalink
CPPLINT: fix config file
Browse files Browse the repository at this point in the history
  • Loading branch information
james-d-mitchell committed Jun 10, 2019
1 parent afe7ffc commit 5e29a28
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion src/CPPLINT.cfg
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
set noparent
filter=-build/c++11,-build/include_subdir,-runtime/indentation_namespace,-runtime/references
linelength=80
root=../..
root=pkg
exclude_files=(semigroups-config.h|_pkgconfig.h)

0 comments on commit 5e29a28

Please sign in to comment.