commit | 81c1a6a1bffb695eda268338daa76c15e1307f96 | [log] [tgz] |
---|---|---|
author | dwagelaar <dwagelaar@gmail.com> | Sun Oct 25 14:38:37 2015 +0100 |
committer | dwagelaar <dwagelaar@gmail.com> | Sun Oct 25 14:38:37 2015 +0100 |
tree | 383e1b9d6a1f88b23c7a9bcbf4ad1ce22efccad9 | |
parent | 8aa763ba9e44feeda86183ad3766d99f65d1f296 [diff] | |
parent | da3f913d7f3c726dab21dff345380455570dfa2b [diff] |
Merge branch 'master' of ssh://dwagelaar@git.eclipse.org/gitroot/mmt/org.eclipse.atl.git