Update dev with changes on master.

GfSE / SpecIF

Specification Integration Facility - schema, constraint checker and examples

Apache License 2.0

15 stars 6 forks source link

Update dev with changes on master. #66

Closed odungern closed 1 year ago

odungern commented 1 year ago

Many changes have apperently been applied to master. Apply those to dev, so that dev gets ahead of master, again.

odungern commented 1 year ago

.. was an error. We must close the 'dev' branch and create a new 'develop' branch with the same structure as 'master' ... having 2 separate sub-repos.