Skip to content

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

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