tree a6125f27b0b82ae7686334f53325874f8b6ae70e
parent 31c0e619480bbc71d33054ad3dcdf5dba106cbb5
author Daniel <strueber@mathematik.uni-marburg.de> 1578603907 +0100
committer Daniel Strueber <strueber@mathematik.uni-marburg.de> 1578603946 -0500

Add refactoring variants example

Change-Id: I251cfea46abd7e89f23b932c5b272973210cfc9c