diff options
| author | Simon Jakobi <simon.jakobi@gmail.com> | 2018-06-13 23:49:52 +0200 |
|---|---|---|
| committer | Simon Jakobi <simon.jakobi@gmail.com> | 2018-06-13 23:49:52 +0200 |
| commit | ce568c3afb00610d659d3c2bab022983d252f1cd (patch) | |
| tree | ba08952a584eb4d56a61b4275a344570e67c48cf /html-test/ref/mini_PruneWithWarning.html | |
| parent | 39a35291045de99b2dabb9cddf5bb16d294c2f3b (diff) | |
html-test: Accept output
Diffstat (limited to 'html-test/ref/mini_PruneWithWarning.html')
0 files changed, 0 insertions, 0 deletions