Browse code Merge pull request #15 from Sakoda2269/update/maven2gradle gradleに変更 feature/axiom-inference-mk2 feature/axiom_inference fix/dependencyTerm-constructor fixResource main separateDTRAMTerm update/dependency-args
commit 0381337f440eba77ac594c81a06122f8ef9b8d54 2 parents 895f156 + 31ed0d8 Sakoda2269 authored on 11 Sep GitHub committed on 11 Sep

Showing 12 changed files

• .gitattributes
• .gitignore
• .project
• build.gradle
• gradle.properties
• gradle/libs.versions.toml
• gradle/wrapper/gradle-wrapper.jar
• gradle/wrapper/gradle-wrapper.properties
• gradlew
• gradlew.bat
• pom.xml
• settings.gradle

Ignore Space Show notes View .gitattributes 0 → 100644

Ignore Space Show notes View .gitignore

Ignore Space Show notes View .project

Ignore Space Show notes View build.gradle 0 → 100644

Ignore Space Show notes View gradle.properties 0 → 100644

Ignore Space Show notes View gradle/libs.versions.toml 0 → 100644

Ignore Space Show notes View gradle/wrapper/gradle-wrapper.jar 0 → 100644
Not supported

Ignore Space Show notes View gradle/wrapper/gradle-wrapper.properties 0 → 100644

Ignore Space Show notes View gradlew 0 → 100644

Ignore Space Show notes View gradlew.bat 0 → 100644

Show notes View pom.xml 100644 → 0

Ignore Space Show notes View settings.gradle 0 → 100644

Show line notes below