Skip to content

GitLab

P
ProofScriptParser
Switch branch/tag
Find file Normal viewHistoryPermalink
build.gradle 62 Bytes
Newer Older
Alexander Weigl's avatar
gradle build  
Alexander Weigl committed
1 2 3 4 5 

description = ''
dependencies {
  compile project(':lang')
}