diff options
| author | Mattia Rizzolo <mattia@mapreri.org> | 2015-10-09 15:38:10 +0000 |
|---|---|---|
| committer | Mattia Rizzolo <mattia@mapreri.org> | 2015-10-09 15:43:56 +0000 |
| commit | b4695aefe11308e3b02223e19b8865115660f5fe (patch) | |
| tree | 73d6e1776575dd8f21f6a97506a90087a8eb5543 /live/config/chroot_local-includes/lib | |
| parent | 6fed8aa9c16986cb013e300d769200b8e7f8707c (diff) | |
| download | jenkins.debian.net-b4695aefe11308e3b02223e19b8865115660f5fe.tar.xz | |
reproducible: _html_breakages: add a check to detect stale history pages. Consider that currently nothing delete them automatically
Diffstat (limited to 'live/config/chroot_local-includes/lib')
0 files changed, 0 insertions, 0 deletions