comparison dot_tool-versions @ 667:1da48e5c51cf

remove unneeded export
author zegervdv <zegervdv@me.com>
date Tue, 27 Sep 2022 20:57:45 +0200
parents fdce323431f4
children e35b47e4f3e8
comparison
equal deleted inserted replaced
666:c6b8132ce55f 667:1da48e5c51cf