diff options
author | Benjamin Barenblat <bbaren@debian.org> | 2018-12-29 14:46:58 -0500 |
---|---|---|
committer | Benjamin Barenblat <bbaren@debian.org> | 2019-01-03 18:24:30 -0500 |
commit | 8c09d8af35c34798270b484f2dfe6098be2eb0a2 (patch) | |
tree | 62059aff08fed3d9edd31c05ad7d7826bbf0fcbe /tactics/dnet.ml | |
parent | f7be582a62a92dcc4516ce65111462092a6b524b (diff) |
Refresh patches
Remove 0002-Remove-test-4366-too-picky-on-the-timeout.patch, since
upstream has increased the timeout.
Diffstat (limited to 'tactics/dnet.ml')
0 files changed, 0 insertions, 0 deletions