tree a8a666f01689d370c23477c1d11f5ba8dd94548b
parent 0cce94550017970f16b80bdd5a0230f729be0f9b
author Michael Jastram <michael@jastram.de> 1421321732 +0100
committer Michael Jastram <michael@jastram.de> 1421321732 +0100

Replacing SpecificationEditor with ISpecificationEditor.