Dark-Alex-17/ptp
Archived
1
0 Fork 0
Code Issues Actions Packages Projects Releases Wiki Activity

PAN-7 Reverted the loadDb task

Browse Source
This commit is contained in:
Dark-Alex-17 committed 2019-02-24 16:03:55 -07:00
1 parent dbba747283
commit d0f8e0bafa
1 file changed
+1 -3
Download Patch File Download Diff File Expand all files Collapse all files
pandamonium-theorem-prover/build.gradle
+1 -3
View File
@@ -118,9 +118,7 @@ test {
testSets {
unitTest
integrationTest {
dependsOn loadDb
}
integrationTest
}
compileKotlin {