diff options
author | Matthias Andreas Benkard <code@mail.matthias.benkard.de> | 2021-02-06 07:51:57 +0100 |
---|---|---|
committer | Matthias Andreas Benkard <code@mail.matthias.benkard.de> | 2021-02-06 11:14:06 +0100 |
commit | de46b2367752c693e4a849facca1c87d4131a844 (patch) | |
tree | a28d4543cc3ab01204ea70fd235cf136d075b76e /Jenkinsfile | |
parent | be86a628e64acf33c694f8eda0e7d695fc51ec0f (diff) |
Replace raw-type uses of Post with Post<?>.
Change-Id: I3ba2094ea9471d8d86af7c8d6a537d7eb43961de
Diffstat (limited to 'Jenkinsfile')
0 files changed, 0 insertions, 0 deletions