diff options
author | Andrius Merkys <andrius.merkys@gmail.com> | 2018-11-23 07:47:40 -0500 |
---|---|---|
committer | Andrius Merkys <andrius.merkys@gmail.com> | 2018-11-23 07:47:40 -0500 |
commit | e0096fa41478e51aa55328243dac2c7bfc574b34 (patch) | |
tree | 92ff5f10230f709e172b9c127b76709dd36f241f | |
parent | 06963cc5ec449b1e5320dd91cebb770f61ec7696 (diff) |
Adding a lintian override to ignore semi-minimised JavaScript file.
-rw-r--r-- | debian/source/lintian-overrides | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/debian/source/lintian-overrides b/debian/source/lintian-overrides new file mode 100644 index 0000000..cdcaeca --- /dev/null +++ b/debian/source/lintian-overrides @@ -0,0 +1,2 @@ +# worker-base.js is neither used during the build nor installed afterwards +antlr4 source: source-is-missing doc/resources/worker-base.js line length is 546 characters (>512) |