Parcourir la source

Merge branch 'dev_v1.2.0' into release_v1.2.0
merge

wangliang il y a 2 ans
Parent
commit
421aab902f

+ 0 - 0
themis-admin/src/main/resources/application-prod.properties


+ 0 - 0
themis-exam/src/main/resources/application-prod.properties


+ 0 - 0
themis-task/src/main/resources/application-prod.properties