diff options
| author | Mattia Rizzolo <mattia@mapreri.org> | 2015-08-17 10:42:03 +0000 |
|---|---|---|
| committer | Mattia Rizzolo <mattia@mapreri.org> | 2015-08-17 10:48:46 +0000 |
| commit | f5b51adf4fe89a443ef6f3c49e05a3e75be60722 (patch) | |
| tree | 99bf8d462ee31a6471b6688a487c7487e5618a61 /userContent/theme | |
| parent | 15efd34ed215bbb6cdaafa77fbc5e9922b79fc3e (diff) | |
| download | jenkins.debian.net-f5b51adf4fe89a443ef6f3c49e05a3e75be60722.tar.xz | |
reproducible: notes: do not fail the job when the version is missing
Diffstat (limited to 'userContent/theme')
0 files changed, 0 insertions, 0 deletions