color meanings - Githubissues

FeatureIDE / FeatureIDE

An extensible framework for feature-oriented software development

https://featureide.github.io/

GNU Lesser General Public License v3.0

129 stars 97 forks source link

Closed dev-andreas closed 9 months ago

skrieter commented 9 months ago

After develop was merged into this branch, there seem to be no relevant changes