diff options
| author | Mattia Rizzolo <mattia@mapreri.org> | 2015-05-03 10:20:37 +0200 |
|---|---|---|
| committer | Holger Levsen <holger@layer-acht.org> | 2015-05-03 11:18:47 +0200 |
| commit | 2d7be9a9bce5f3aef66d474149684e191156c97c (patch) | |
| tree | 5a1edfc670d2bcea7f52c347d4b4c412840622c2 /userContent/theme | |
| parent | 8245285ade7be82602ff671bd42b9ea0f43380e8 (diff) | |
| download | jenkins.debian.net-2d7be9a9bce5f3aef66d474149684e191156c97c.tar.xz | |
reproducible: common.py: do not fail when non-recognized option are passed
Diffstat (limited to 'userContent/theme')
0 files changed, 0 insertions, 0 deletions