tree 12fedfea9667d7db1b8978b2d847796c2ebae878
parent 46e2c957aa0f7b9a5aaa86f1ab370be4368aa934
author margaretha <margaretha@ids-mannheim.de> 1717578731 +0200
committer margaretha <margaretha@ids-mannheim.de> 1717578731 +0200

Clean up named-vc.

Change-Id: I81c0a5f03721cc22d264cfd8c0e928e56a23366b