| author | Lorenzo Bettini <bettini@dsi.unifi.it> | 2012年04月14日 17:37:14 +0200 |
|---|---|---|
| committer | Lorenzo Bettini <bettini@dsi.unifi.it> | 2012年04月14日 17:37:14 +0200 |
| commit | 43c07b7f8dad409f333a0bdee5f5f72682c2e122 (patch) | |
| tree | 72987cf276953eea4f3633173dbdf721793a82f6 | |
| parent | 23ae8e7eaaea7531c941a0904b019495e6b55656 (diff) | |
| download | src-highlite-43c07b7f8dad409f333a0bdee5f5f72682c2e122.tar.gz | |
| -rwxr-xr-x[-rw-r--r--] | jenkins-build.sh | 0 |
diff --git a/jenkins-build.sh b/jenkins-build.sh index 2dae201..2dae201 100644..100755 --- a/jenkins-build.sh +++ b/jenkins-build.sh |