Removal from sigma.backends.tools

This commit is contained in:
Thomas Patzke 2018-07-10 23:32:42 +02:00
parent a6cd7a3d6b
commit 881f72e418

File diff suppressed because it is too large Load Diff