update about page

2025-12-12 11:18:51 +00:00 · 2019-11-03 21:58:59 -05:00
parent fe50947f93
commit 5270edcc89
6 changed files with 32 additions and 6 deletions
--- a/jenkins/Jenkinsfile
+++ b/jenkins/Jenkinsfile
@@ -8,6 +8,7 @@ remote.allowAnyHosts = true
 remote.retryCount = 3
 remote.retryWaitSec = 3
 logLevel = 'FINER'
+remote.port = 2299

 pipeline {
    agent none