Skip to main content

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index] [List Home]
[henshin-dev] Migrating to git

Hi everyone,

since the release has been quicker and earlier than anticipated, how about using the opportunity to migrate our repositories to git?

Felix



Back to the top