diff options
author | 2018-01-12 14:56:14 +0100 | |
---|---|---|
committer | 2018-01-12 14:56:14 +0100 | |
commit | 5d325dfc5d666b345b6555ea9dc4ab3af853be67 (patch) | |
tree | 7888aab723b8d127666302f65ad5b5df6f9f92d1 /tools/jenkins | |
parent | df9333a89b3d38a5421bc86fae4e0bba9280b21b (diff) |
create moon jenkins
Change-Id: I10cac28f45fca917a0a841e1113a9ffb31369f15
Signed-off-by: RHE <rebirthmonkey@gmail.com>
Diffstat (limited to 'tools/jenkins')
-rw-r--r-- | tools/jenkins/README.md | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/tools/jenkins/README.md b/tools/jenkins/README.md deleted file mode 100644 index 8b137891..00000000 --- a/tools/jenkins/README.md +++ /dev/null @@ -1 +0,0 @@ - |