diff options
| author | Benjamin Dauvergne <bdauvergne@entrouvert.com> | 2013-11-20 08:49:00 +0100 |
|---|---|---|
| committer | Benjamin Dauvergne <bdauvergne@entrouvert.com> | 2013-11-20 08:49:00 +0100 |
| commit | 9c08482b46e8d67085de2da38cd6c4b699674206 (patch) | |
| tree | 87d1dac8878b7a8755d202c590824df980825bb3 /tools | |
| parent | 080548538d4e2622c04f1a5f9370d8c1889c2959 (diff) | |
| download | lasso-9c08482b46e8d67085de2da38cd6c4b699674206.tar.gz lasso-9c08482b46e8d67085de2da38cd6c4b699674206.tar.xz lasso-9c08482b46e8d67085de2da38cd6c4b699674206.zip | |
jenkins.sh: do not ignore errors
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions