diff options
| author | Pierre-Marie Pédrot | 2020-08-24 16:39:19 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2020-09-18 11:43:45 +0200 |
| commit | a00a51f312720d1cfbc138664f6ea50b2d6fb3c6 (patch) | |
| tree | da1f92986143536dd9ca92ad9eb656f769f0cf9d /tools | |
| parent | fdacb149ddb874acd5e5d7943d93bfab1955f4a1 (diff) | |
Remove dead code in dnets.
The boolean assumedly used to cut recursion was always set to true, since
its introduction in 64ac193.
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions