tree cc58810e2e1527e4d3d44e920a14c0616ae08de5
parent ac1bb6ae980a7b83d13c26cc61425be4ddeb38c8
author Stefan Schulz <schulzs@mathematik.uni-marburg.de> 1576867063 +0100
committer Stefan Schulz <schulzs@mathematik.uni-marburg.de> 1576867063 +0100

Add variability feature sources.

Change-Id: I91662bb2d1e76cf54fb998d5c7fec036baa20c3d
Signed-off-by: Stefan Schulz <schulzs@mathematik.uni-marburg.de>