Update name in .jenkins (#7813)

This commit is contained in:
wojtekxtx 2023-04-05 12:15:34 +02:00 committed by GitHub
parent 3edb8ecb2d
commit db9aaf582d
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -1 +1 @@
This file is used as a marker for the test harness to discover the root directory of Hudson.
This file is used as a marker for the test harness to discover the root directory of Jenkins.