diff options
| author |   Luca Boccassi <luca.boccassi@gmail.com> | 2016-08-02 16:27:54 +0100 |
|---|---|---|
| committer | Luca Boccassi <luca.boccassi@gmail.com> | 2016-08-02 16:27:54 +0100 |
| commit | b7748ba466a7daf893de247adcf9869e697f0b19 (patch) | |
| tree | b26c5a89d40aca5b2f0a5dbc6e6ed592b3e0f3cd /examples/packet_ordering/Makefile | |
| parent | 337ab1e37780040b12434b17dbdfcbcfbb7b9f11 (diff) | |
Override lintian W: embedded-javascript-library
As discussed upstream ships a human-readable version of some
javascript libraries in the documentation that are known to work.
It is not deemed worthwhile to try and maintain out of tree patches
to make the documentation work with the version of those libraries
shipped by each distribution.
Change-Id: Ib56955f842bac72e7a580a168ae8bd3c375a28e9
Signed-off-by: Luca Boccassi <luca.boccassi@gmail.com>
Diffstat (limited to 'examples/packet_ordering/Makefile')
0 files changed, 0 insertions, 0 deletions