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

Merge remote-tracking branch 'origin/PAN-6' into PAN-6

Browse Source
This commit is contained in:
Dark-Alex-17 committed 2019-02-10 12:49:41 -07:00
2 parents eb88ea2d10 52a4cf086c
commit 6057d26eee
1 file changed
+1 -1
Download Patch File Download Diff File Expand all files Collapse all files
.travis.yml
+1 -1
View File
@@ -9,7 +9,7 @@ before_install:
- cd pandamonium-theorem-prover
before_script:
- mysql -u root pandamonium < pandamonium-theorem-prover/persistence/scripts/mysql/local_development.sql
- mysql -u root < pandamonium-theorem-prover/persistence/scripts/mysql/local_development.sql
stages:
- name: Load Database