Select Git revision
m910_incorrect_inv_mch.eventb
-
Michael Leuschel authored
Signed-off-by:Michael Leuschel <leuschel@uni-duesseldorf.de>
Michael Leuschel authoredSigned-off-by:
Code owners
Assign users and groups as approvers for specific file changes. Learn more.
gradle-wrapper.properties 200 B
distributionBase=GRADLE_USER_HOME
distributionPath=wrapper/dists
distributionUrl=https\://services.gradle.org/distributions/gradle-7.2-bin.zip
zipStoreBase=GRADLE_USER_HOME
zipStorePath=wrapper/dists