diff options
author | 2020-09-06 13:57:11 +0200 | |
---|---|---|
committer | 2020-09-06 13:58:44 +0200 | |
commit | 06347d34ab2f7f901bcfe7f4a4e8c0a66a4a98d0 (patch) | |
tree | 13961811211024a2dcca3c73d97e55f5da9235bf /.gitmodules | |
parent | d6dd65892d173a628568dae7aa082943b8bbaa5e (diff) |
Slightly generalize ginkgo params
Change-Id: I51b013056bb5b88ef2e1de31e9171129e8ce4475
Signed-off-by: Cédric Ollivier <cedric.ollivier@orange.com>
(cherry picked from commit 0ec2aa15acbe7cd2b28d772165c22481b85bad79)
Diffstat (limited to '.gitmodules')
0 files changed, 0 insertions, 0 deletions