diff options
author | 2018-01-11 17:31:15 +0000 | |
---|---|---|
committer | 2018-01-11 17:31:15 +0000 | |
commit | df9333a89b3d38a5421bc86fae4e0bba9280b21b (patch) | |
tree | f53603a697a8b94d767933449a546cacbbaab4f3 /tools/jenkins | |
parent | 626dc28a44b92a2bfe6473bf0b595dfee71e4d61 (diff) | |
parent | 1788b170db073ac68b2ca3545ec54dc779686b46 (diff) |
Merge "restructure tests"
Diffstat (limited to 'tools/jenkins')
-rw-r--r-- | tools/jenkins/README.md | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tools/jenkins/README.md b/tools/jenkins/README.md new file mode 100644 index 00000000..8b137891 --- /dev/null +++ b/tools/jenkins/README.md @@ -0,0 +1 @@ + |