diff options
author | Mateusz Kowalczyk <fuuzetsu@fuuzetsu.co.uk> | 2014-01-13 02:16:54 +0000 |
---|---|---|
committer | Austin Seipp <austin@well-typed.com> | 2014-01-13 02:39:25 -0600 |
commit | 764a6b85b686dee3d93e130bd650ee33a985aca2 (patch) | |
tree | 56f209bc1722fcd73054a04b243ae53a0fad04c9 /html-test/ref/mini_PruneWithWarning.html | |
parent | 2e3f0b8369a0fc4283f0909305f15af3a82086b7 (diff) |
Fixes #271
Signed-off-by: Austin Seipp <austin@well-typed.com>
Diffstat (limited to 'html-test/ref/mini_PruneWithWarning.html')
0 files changed, 0 insertions, 0 deletions