GitBucket
Toggle navigation
Pull requests
Issues
Snippets
Sign in
Files
Branches
5
Releases
Issues
Pull requests
Labels
Priorities
Milestones
Wiki
Fork
: 0
nitta-lab
/
RDLProofSystem
Browse code
pom.xmlからdtramの依存関係を削除
feature/axiom-inference-mk2
feature/axiom_inference
main
update/dependency-args
update/maven2gradle
1 parent
b2dead8
commit
6e89c2f06ded12cbd44f8efcadd70030e77556a0
Sakoda2269
authored
5 days ago
Patch
Unified
Split
Showing
1 changed file
pom.xml
Ignore Space
Show notes
View
pom.xml
Show line notes below